|
[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
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://arxiv.org/abs/quant-ph/0504007
|