Oliver E. Theel. A verification technique for self-stabilizing algorithms based on Ljapunov s Second Method (brief announcement). In Gil Neiger, editor, Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA. pages 331, ACM, 2000. [doi]
Abstract is missing.