• Towards Model-Checking Quantum...

Treffer: Towards Model-Checking Quantum Security Protocols

Title:
Towards Model-Checking Quantum Security Protocols
Authors:
Baltazar, P., Chadha, R., Mateus, P., Sernadas, A.
Source:
2007 First International Conference on Quantum, Nano, and Micro Technologies (ICQNM'07) Quantum, Nano, and Micro Technologies, 2007. ICQNM '07. First International Conference on. :14-14 Jan, 2007
Relation:
2007 First International Conference on Quantum, Nano, and Micro Technologies
Database:
IEEE Xplore Digital Library