@misc{indiciaefa55f294fd30,
  title = {Model Checking Quantum Systems --- A Survey},
  author = {Mingsheng Ying and Yuan Feng},
  year = {2018},
  url = {https://arxiv.org/abs/1807.09466},
  note = {Source identifier: 1807.09466}
}