{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:43:36Z","timestamp":1780994616270,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540705437","type":"print"},{"value":"9783540705451","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70545-1_51","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"543-547","source":"Crossref","is-referenced-by-count":51,"title":["QMC: A Model Checker for Quantum Systems"],"prefix":"10.1007","author":[{"given":"Simon J.","family":"Gay","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rajagopal","family":"Nagarajan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nikolaos","family":"Papanikolaou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"3","key":"51_CR1","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1145\/382780.382781","volume":"48","author":"D. Mayers","year":"2001","unstructured":"Mayers, D.: Unconditional security in quantum cryptography. Journal of the ACM\u00a048(3), 351\u2013406 (2001)","journal-title":"Journal of the ACM"},{"key":"51_CR2","unstructured":"Gay, S.J., Nagarajan, R., Papanikolaou, N.: Probabilistic model\u2013checking of quantum protocols. In: DCM 2006: Proceedings of the 2nd International Workshop on Developments in Computational Models (2006) arXiv:quant-ph\/0504007"},{"key":"51_CR3","volume-title":"Proceedings of the First Workshop on Quantum Security: QSec 2007","author":"P. Baltazar","year":"2007","unstructured":"Baltazar, P., Chadha, R., Mateus, P., Sernadas, A.: Towards model-checking quantum security protocols. In: Dini, P., et al. (eds.) Proceedings of the First Workshop on Quantum Security: QSec 2007, IEEE Press, Los Alamitos (2007)"},{"key":"51_CR4","unstructured":"Gottesman, D.: The Heisenberg representation of quantum computers. In: Corney, S., Delbourgo, R., Jarvis, P. (eds.) Group22: Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics. International Press (1999)"},{"key":"51_CR5","volume-title":"Quantum Computation and Quantum Information","author":"M.A. Nielsen","year":"2000","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"key":"51_CR6","unstructured":"Bennett, C.H., Brassard, G.: Quantum Cryptography: Public key distribution and coin tossing. In: Proceedings of International Conference on Computers, Systems and Signal Processing (1984)"},{"key":"51_CR7","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/567067.567080","volume-title":"POPL 1983: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages","author":"E.M. Clarke","year":"1983","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach. In: POPL 1983: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 117\u2013126. ACM, New York (1983)"},{"key":"51_CR8","doi-asserted-by":"crossref","unstructured":"Aaronson, S., Gottesman, D.: Improved simulation of stabilizer circuits. Physical Review A 70(52328) (2004)","DOI":"10.1103\/PhysRevA.70.052328"},{"key":"51_CR9","doi-asserted-by":"crossref","unstructured":"Audenaert, K., Plenio, M.: Entanglement on mixed stabiliser states: Normal forms and reduction procedures. New Journal of Physics 7(170) (2005)","DOI":"10.1088\/1367-2630\/7\/1\/170"},{"key":"51_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1103\/PhysRevA.71.022316","volume":"71","author":"S. Bravyi","year":"2005","unstructured":"Bravyi, S., Kitaev, A.: Universal quantum computation with ideal Clifford gates and noisy ancillas. Physical Review A\u00a071, 1\u201314 (2005)","journal-title":"Physical Review A"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70545-1_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:07:44Z","timestamp":1605762464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70545-1_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705437","9783540705451"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70545-1_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}