@article(cafqa,
 author       = "A. Baltag and S. Smets",
 year         = "2005",
 title        = "Complete Axiomatizations for Quantum Actions",
 journal      = "International Journal of Theoretical Physics",
 volume       = "44",
 number       = "12",
 doi          = "10.1007/s10773-005-8022-2",
)
@article(lqp2,
 author       = "A. Baltag and S. Smets",
 year         = "2006",
 title        = "{LQP}: {t}he dynamic logic of quantum information",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "16",
 number       = "3",
 doi          = "10.1017/S0960129506005299",
)
@article(dlpoqb,
 author       = "A. Baltag and S. Smets",
 year         = "2008",
 title        = "A Dynamic-Logical Perspective on Quantum Behavior",
 journal      = "Studia Logica",
 volume       = "89",
 number       = "2",
 doi          = "10.1007/s11225-008-9126-5",
)
@article(sdc,
 author       = "C. H. Bennett and S. J. Wiesner",
 year         = "1992",
 title        = "Communication via one- and two-particle operators on {E}instein-{P}odolsky-{R}osen states",
 journal      = "Physical Review Letters",
 volume       = "69",
 number       = "20",
 doi          = "10.1103/PhysRevLett.69.2881",
)
@article(qtp,
 author       = "C. H. Bennett",
 year         = "1993",
 title        = "Teleporting an unknown quantum state via dual classical and {E}instein-{P}odolsky-{R}osen channels",
 journal      = "Physical Review Letters",
 volume       = "70",
 number       = "13",
 doi          = "10.1103/PhysRevLett.70.1895",
)
@book(cgp99,
 author       = "E. M. Clarke, Jr. and O. Grumberg and D. A. Peled",
 year         = "1999",
 title        = "Model Checking",
 publisher    = "MIT Press",
)
@article(ckfqcr,
 author       = "V. Danos and E. D'Hondt",
 year         = "2008",
 title        = "Classical Knowledge for Quantum Cryptographic Reasoning",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "192",
 number       = "3",
 doi          = "10.1016/j.entcs.2008.10.026",
)
@article(tmc,
 author       = "V. Danos and E. Kashefi and P. Panangaden",
 year         = "2007",
 title        = "The Measurement Calculus",
 journal      = "J. ACM",
 volume       = "54",
 number       = "2",
 doi          = "10.1145/1219092.1219096",
)
@article(dmbqc,
 author       = "V. Danos",
 year         = "2007",
 title        = "Distributed Measurement-based Quantum Computation",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "170",
 doi          = "10.1016/j.entcs.2006.12.012",
)
@inproceedings(raqk,
 author       = "E. D'Hondt and P. Panangaden",
 year         = "2005",
 title        = "Reasoning about quantum knowledge",
 booktitle    = "Proceedings of FSTTCS '05",
 doi          = "10.1007/11590156\_45",
)
@article(ckfqs,
 author       = "E. D'Hondt and M. Sadrzadeh",
 year         = "2011",
 title        = "Classical Knowledge for Quantum Security",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "270",
 number       = "1",
 doi          = "10.1016/j.entcs.2011.01.014",
)
@article(qcbobt,
 author       = "A. K. Ekert",
 year         = "1991",
 title        = "Quantum cryptography based on {B}ell's theorem",
 journal      = "Physical Review Letters",
 volume       = "67",
 number       = "6",
 doi          = "10.1103/PhysRevLett.67.661",
)
@article(eaa10,
 author       = "M. Elboukhari and M. Azizi and A. Azizi",
 year         = "2010",
 title        = "Analysis of the Security of {BB84} by Model Checking",
 journal      = "IJNSA",
 volume       = "2",
 number       = "2",
 doi          = "10.5121/ijnsa.2010.2207",
)
@book(fagin,
 author       = "R. Fagin",
 year         = "2003",
 title        = "Reasoning About Knowledge",
 publisher    = "MIT Press",
)
@inproceedings(qmc,
 author       = "S. J. Gay and R. Nagarajan and N. Papanikolaou",
 year         = "2008",
 title        = "{QMC}: A Model Checker for Quantum Systems",
 booktitle    = "Proceedings of CAV 2008",
 doi          = "10.1007/978-3-540-70545-1\_51",
)
@article(prism,
 author       = "M. Kwiatkowska and G. Norman and D. Parker",
 year         = "2004",
 title        = "Probabilistic symbolic model checking with {PRISM}: a hybrid approach",
 journal      = "Int. J. Softw. Tools Technol. Transf.",
 volume       = "6",
 number       = "2",
 doi          = "10.1007/s10009-004-0140-2",
)
@inproceedings(mcmas,
 author       = "A. Lomuscio and H. Qu and F. Raimondi",
 year         = "2009",
 title        = "{MCMAS}: a model checker for the verification of multi-agent systems",
 booktitle    = "Proceedings of CAV '09",
 doi          = "10.1007/11691372\_31",
)
@inproceedings(kiqs,
 author       = "R. van der Meyden and M. Patra",
 year         = "2003",
 title        = "Knowledge in Quantum Systems",
 booktitle    = "Proc. of TARK '03",
 doi          = "10.1145/846241.846257",
)
@book(nielsen,
 author       = "M. A. Nielsen and I. L. Chuang",
 year         = "2000",
 title        = "Quantum Computation and Quantum Information",
 publisher    = "Cambridge University Press",
)
@misc(ylyf10,
 author       = "M. Ying and Y. Li and N. Yu and Y. Feng",
 year         = "2010",
 title        = "Model-Checking Linear-Time Properties of Quantum Systems",
 howpublished = "\url {http://arxiv.org/abs/1101.0303}",
)