www.prismmodelchecker.org
Home • About • Downloads • Documentation • Manual • Tutorial • Lectures • Publications • Case Studies • Support
[Ste06] G. Steel. Formal Analysis of PIN Block Attacks. Theoretical Computer Science, 367(1-2), pages 257-270, Elsevier. 2006. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar] [CiteSeer]
Available from: http://homepages.inf.ed.ac.uk/gsteel/papers/

Publications