www.prismmodelchecker.org
[Rab83] M. Rabin. Randomized Byzantine generals. In Proc. Symposium on Foundations of Computer Science, pages 403-409. 1983. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications