Verimag

bibtex

@inproceedings{AC7,
    title = { Composition certifi\'e d'algorithmes autostabilisants silencieux },
    author = {Altisen, Karine and Corbineau, Pierre},
    month = {May 30 - June 2},
    year = {2017},
    booktitle = {Algotel'2017},
    address = {Quiberon},
    team = {SYNC, PACSS},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 874288