QPMC: A Model Checker for Quantum Programs and Protocols

@inproceedings{Feng2015QPMCAM,
  title={QPMC: A Model Checker for Quantum Programs and Protocols},
  author={Yuan Feng and Ernst Moritz Hahn and Andrea Turrini and Lijun Zhang},
  booktitle={FM},
  year={2015}
}
Related Discussions
This paper has been referenced on Twitter 2 times. VIEW TWEETS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…