Pedro Baltazar, Rohit Chadha, Paulo Mateus, AmÃlcar Sernadas. Towards Model-Checking Quantum Security Protocols. In First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007, January 2-6, 2007, Guadeloupe, French Caribbean. pages 14, IEEE Computer Society, 2007. [doi]
Abstract is missing.