CITATION STYLE
Gay, S. J., Nagarajan, R., & Papanikolaou, N. (2008). QMC: A model checker for quantum systems - Tool paper. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5123 LNCS, pp. 543–547). https://doi.org/10.1007/978-3-540-70545-1_51
Mendeley helps you to discover research relevant for your work.