@article{ACD3c,
title = { Certification of an exact worst-case self-stabilization time },
author = {Altisen, Karine and Corbineau, Pierre and Devismes, St\'ephane},
year = {2023},
journal = {Theor. Comput. Sci.},
pages = {262--277},
volume = {941},
team = {SYNC, PACSS},
}
