Verification of Quantum Protocols with a Probabilistic Model-Checker. - Amir M. Tavala; Soroosh Nazem; Ali A. Babaei-Brojeny (QPL/DCM@ICALP, 2008)