Joffroy Beauquier, Colette Johnen, Stéphane Messika. Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules. In Shlomi Dolev, editor, Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings. Volume 4167 of Lecture Notes in Computer Science, pages 543-547, Springer, 2006. [doi]
Abstract is missing.