www.prismmodelchecker.org
HomeAboutDownloadsDocumentationManualTutorialLecturesPublicationsCase StudiesSupport
[Adi06] M. Adithia. Probabilistic Analysis of Network Anonymity using PRISM. Masters thesis, Department of Mathematics and Computer Science, Technische Universiteit Eindhoven. 2006. [bib]
Downloads:  bib bib

Publications