TY  - RPRT
TI  - Model checking quantum Markov chains
AU  - Yuan Feng
AU  - Nengkun Yu
AU  - Mingsheng Ying
PY  - 2013
UR  - https://arxiv.org/abs/1205.2187
ID  - 1205.2187
ER  -