www.prismmodelchecker.org
[Bak11] Rena Bakhshi. Gossiping Models: Formal Analysis of Epidemic Protocols. Ph.D. thesis, Vrije Universiteit, Amsterdam. 2011. [bib] http://dare.ubvu.vu.nl/handle/1871/18387
Downloads:  bib bib
Links: [Google] [Google Scholar]
Available from: http://dare.ubvu.vu.nl/handle/1871/18387

Publications