|
[GNP05]
S. Gay, R. Nagarajan and N. Papanikolaou.
Probabilistic Model Checking of Quantum Protocols.
Quantum Physics Repository article quant-ph/0504007.
April 2005.
http://arxiv.org/abs/quant-ph/0504007
|
|
Available from:
http://arxiv.org/abs/quant-ph/0504007
|
Site hosted at the Department of Computer Science, University of Oxford