www.prismmodelchecker.org
[Rab81] M. Rabin. Transaction protection by beacons. Technical report 29-81, Aiken Computation Laboratory, Harvard University. 1981. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications