245 followers
QPMC: A Model Checker for Quantum Programs and Protocols. - Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun… http://t.co/ByB4pDjKRb
QPMC: A Model Checker for Quantum Programs and Protocols. - Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun… http://t.co/ByB4pDjKRb