QPMC

swMATH39238MaRDI QIDQ54938FDOQ54938

Author name not available (Why is that?)

Cited In (3)

• Towards Quantum Programs Verification: From Quipper Circuits to QPMC
• Toward automatic verification of quantum programs
• Model Checking Omega-regular Properties for Quantum Markov Chains

This page was built for software: QPMC