www.prismmodelchecker.org
[IR90] A. Itai and M. Rodeh. Symmetry Breaking in Distributed Networks. Information and Computation, 88(1). 1990. [bib]
Downloads:  bib bib

Publications