@article{ACD2,
title = { Certification of an exact worst-case self-stabilization time },
author = {Altisen, Karine and Corbineau, Pierre and Devismes, St\'ephane},
year = {2022},
journal = {Theoretical Computer Science},
team = {axe_FormalProofs, axe_SharedResources, SYNC, PACSS},
}