www.prismmodelchecker.org
[BGJ99] J. Beauquier, M. Gradinariu and C. Johnen. Memory space requirements for self-stabilizing leader election protocols. In Proc. ACM Symposium on Principles of Distributed Computing, pages 199-208. 1999. [bib]
Downloads:  bib bib

Publications