[TNBB11] Amir Tavala, Soroosh Nazema and Ali A. Babaei-Brojeny. Verification of Quantum Protocols with a Probabilistic Model-Checker. In Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models (QPL/DCM 2008), volume 270 of ENTCS, pages 175-182. 2011. [bib]
Downloads:  bib bib
Notes: ENTCS is available at www.sciencedirect.com/science/journal/15710661.