www.prismmodelchecker.org
Home • About • Downloads • Documentation • Manual • Tutorial • Lectures • Publications • Case Studies • Support
[Tro06] A. Troina. Probabilistic Timed Automata for Security Analysis and Design. Ph.D. thesis, University of Pisa. 2006.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: http://www.lix.polytechnique.fr/~troina/

Publications