Oday Jubran, Eike Möhlmann, Oliver E. Theel. Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. In Andrzej Pelc, Alexander A. Schwarzmann, editors, Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings. Volume 9212 of Lecture Notes in Computer Science, pages 124-138, Springer, 2015. [doi]
Abstract is missing.