www.prismmodelchecker.org
[Pap04] N. Papanikolaou. Techniques for Design and Validation of Quantum Protocols. Masters thesis, Department of Computer Science, University of Warwick. 2004. http://www.warwick.ac.uk/~essiai/publications/index.html
Links: [Google] [Google Scholar]

Publications