www.prismmodelchecker.org
HomeAboutDownloadsDocumentationManualTutorialLecturesPublicationsCase StudiesSupport
[Kal07] E. Kaldeli. Investigating formal representations of PIN block attacks. Masters thesis, School of Informatics, University of Edinburgh. 2007. [bib]
Downloads:  bib bib

Publications