TY  - RPRT
TI  - Probabilistic Model--Checking of Quantum Protocols
AU  - Simon Gay
AU  - Rajagopal Nagarajan
AU  - Nikolaos Papanikolaou
PY  - 2005
UR  - https://arxiv.org/abs/quant-ph/0504007
ID  - quant-ph/0504007
ER  -