TY  - RPRT
TI  - Equivalence Checking of Quantum Finite-State Machines
AU  - Qisheng Wang
AU  - Junyi Liu
AU  - Mingsheng Ying
PY  - 2022
DO  - 10.1016/j.jcss.2020.08.004
UR  - https://arxiv.org/abs/1901.02173
ID  - 1901.02173
ER  -