Login / Signup

Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties.

Lvzhou LiYuan Feng
Published in: Inf. Comput. (2015)
Keyphrases