@inproceedings{ACD3a,
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},
}