1 results
11 - Specification and Verification of Quantum Protocols
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 414-472
-
- Chapter
- Export citation