www.prismmodelchecker.org
[FP04] W. Fokkink and J. Pang. Simplifying Itai-Rodeh leader election for anonymous rings. In Proc. 4th Workshop on Automated Verification of Critical Systems (AVoCS'04), volume 128(6) of Electronic Notes in Theoretical Computer Science, pages 53-68, Elsevier Science. September 2004. [bib] http://www.lix.polytechnique.fr/~pangjun/research/pub.html
Downloads:  bib bib
Notes: ENTCS is available at www.sciencedirect.com/science/journal/15710661.
Links: [Google] [Google Scholar]

Publications