www.prismmodelchecker.org
[Rab82b] M. Rabin. The Choice Coordination Problem. Acta Informatica, 17, pages 121-134. 1982. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications