Karine Altisen, Pierre Corbineau, Stéphane Devismes. Certification of an Exact Worst-Case Self-Stabilization Time. In ICDCN '21: International Conference on Distributed Computing and Networking, Virtual Event, Nara, Japan, January 5-8, 2021. pages 46-55, ACM, 2021. [doi]
Abstract is missing.