TY  - RPRT
TI  - Model Checking Quantum Systems --- A Survey
AU  - Mingsheng Ying
AU  - Yuan Feng
PY  - 2018
UR  - https://arxiv.org/abs/1807.09466
ID  - 1807.09466
ER  -