Model checking quantum Markov chains

2013/04/25 by Yuan Feng, Nengkun Yu, Mingsheng Ying · 3 citations
Computer Science · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Cryptography and Data Security

paper · doi:10.1016/j.jcss.2013.04.002

Cited by

• Complex Bounded Operators in Isabelle/HOL
• Model Checking Applied to Quantum Physics
• Symbolic model checking quantum circuits in Maude. [europepmc]