@article{altisen:hal-03862272, TITLE = {{Certification of an exact worst-case self-stabilization time}}, AUTHOR = {Altisen, Karine and Corbineau, Pierre and Devismes, St{\'e}phane}, URL = {https://uca.hal.science/hal-03862272}, JOURNAL = {{Theoretical Computer Science}}, PUBLISHER = {{Elsevier}}, VOLUME = {941}, PAGES = {262-277}, YEAR = {2022}, MONTH = Nov, DOI = {10.1016/j.tcs.2022.11.019}, HAL_ID = {hal-03862272}, HAL_VERSION = {v1}, }