Karine Altisen, Pierre Corbineau, Stéphane Devismes. Certified Round Complexity of Self-Stabilizing Algorithms. In Rotem Oshman, editor, 37th International Symposium on Distributed Computing, DISC 2023, October 10-12, 2023, L'Aquila, Italy. Volume 281 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
Abstract is missing.