QPMC

swMATH39238MaRDI QIDQ54938FDOQ54938

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-19249-9_17

Cited In (9)

• QML
• Model checking \(\omega\)-regular properties for quantum Markov chains
• verifier
• QWire
• iscasMc
• QPL
• qGCL
• Towards quantum programs verification: from Quipper circuits to QPMC
• Toward automatic verification of quantum programs

This page was built for software: QPMC