TY  - RPRT
TI  - Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
AU  - Lvzhou Li
AU  - Yuan Feng
PY  - 2015
UR  - https://arxiv.org/abs/1506.08982
ID  - 1506.08982
ER  -