bibtex

@inproceedings{ACD3,
    title = {{Complexit{\'e} certifi{\'e}e d'algorithmes autostabilisants en rondes} },
    author = {Altisen, Karine and Corbineau, Pierre and Devismes, St\'ephane},
    month = {May},
    year = {2023},
    booktitle = {{ALGOTEL 2023 - 25{\`e}mes Rencontres Francophones sur les Aspects Algorithmiques des T{\'e}l{\'e}communications}},
    address = {Cargese, France},
    team = {axe_SharedResources, axe_FormalProofs},
}


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

info visites 2088447