Verification of Quantum Protocols with a Probabilistic Model-Checker

Verification of Quantum Protocols with a Probabilistic Model-Checker, Amir M. Tavala, Soroosh Nazem and Ali A. Babaei-Brojeny, Electronic Notes in Theoretical Computer Science 270 (2011) 175.