<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>8924</REFNUM><AUTHORS><AUTHOR>Gay,S.J.</AUTHOR><AUTHOR>Papanikolaou,N.</AUTHOR><AUTHOR>Nagarajan,R.</AUTHOR></AUTHORS><YEAR>2008</YEAR><TITLE>QMC: a model checker for quantum systems</TITLE><PLACE_PUBLISHED>Proceedings of the 20th International Conference on Computer Aided Verification (CAV), Springer LNCS 5123 DOI: 10.1007/978-3-540-70545-1_51</PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>543-547</PAGES><LABEL>Gay:2008:8924</LABEL><URL>http://www.dcs.gla.ac.uk/~simon/publications/cav08.pdf</URL></RECORD></RECORDS></XML>