@Article{         wang2019equivalence,
  Author        = "Wang, Qisheng and Liu, Junyi and Ying, Mingsheng",
  date-added    = "2020-12-27 18:47:05 +0100",
  date-modified = "2020-12-27 18:47:05 +0100",
  Journal       = "arXiv preprint arXiv:1901.02173",
  Title         = "Equivalence Checking of Quantum Finite-State Machines",
  Year          = "2019",
  File          = "Equivalence Checking of Quantum Finite-State Machines - 1901.02173 - a - r.pdf"
}

@Article{ wang2019equivalence, Author = "Wang, Qisheng and Liu, Junyi and Ying, Mingsheng", date-added = "2020-12-27 18:47:05 +0100", date-modified = "2020-12-27 18:47:05 +0100", Journal = "arXiv preprint arXiv:1901.02173", Title = "Equivalence Checking of Quantum Finite-State Machines", Year = "2019", File = "Equivalence Checking of Quantum Finite-State Machines - 1901.02173 - a - r.pdf" }