TY  - RPRT
TI  - Model-Checking Linear-Time Properties of Quantum Systems
AU  - Mingsheng Ying
AU  - Yangjia Li
AU  - Nengkun Yu
AU  - Yuan Feng
PY  - 2010
UR  - https://arxiv.org/abs/1101.0303
ID  - 1101.0303
ER  -