|
[TNBB11]
Amir Tavala, Soroosh Nazema and Ali A. Babaei-Brojeny.
Verification of Quantum Protocols with a Probabilistic Model-Checker.
In Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models (QPL/DCM 2008), volume 270 of ENTCS, pages 175-182.
2011.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
ENTCS is available at www.sciencedirect.com/science/journal/15710661.
|
|
Links:
[Google]
[Google Scholar]
|