www.prismmodelchecker.org
Home • About • Downloads • Documentation • Manual • Tutorial • Lectures • Publications • Case Studies • Support
[LMST04] R. Lanotte, A. Maggiolo-Schettini and A. Troina. Automatic Analysis of a Non-Repudiation Protocol. In Proc. 2nd International Workshop on Quantitative Aspects of Programming Languages (QAPL'04). March 2004. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar] [CiteSeer]
Available from: http://www.di.unipi.it/~troina/

Publications