www.prismmodelchecker.org
Home • About • Downloads • Documentation • Manual • Tutorial • Lectures • Publications • Case Studies • Support
[Pap04] N. Papanikolaou. Techniques for Design and Validation of Quantum Protocols. Masters thesis, Department of Computer Science, University of Warwick. 2004.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: http://www.warwick.ac.uk/~essiai/publications/index.html

Publications