QPMC
From MaRDI portal
Software:54938
No author found.
Related Items (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
