Simon J. Gay Rajagopal Nagarajan Nikolaos Papanikolaou Probabilistic Model-Checking of Quantum Protocols http://arxiv.org/abs/quant-ph/0504007 2005 CoRR abs/quant-ph/0504007 db/journals/corr/corr0504.html#abs-quant-ph-0504007 informal publication