The University of Warwick Library - WebBridge

QMC : a model checker for quantum systems
Gay, Simon J..  20th International Conference on Computer Aided Verification.  v. Vol.5123.   2008. p. 543 - 547... issn: 9783540705437 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.