Verification of Quantum Protocols with a Probabilistic Model-Checker - doi # 2011-02 Article type Journal