TY  - RPRT
TI  - Equivalence Checking of Sequential Quantum Circuits
AU  - Qisheng Wang
AU  - Riling Li
AU  - Mingsheng Ying
PY  - 2022
DO  - 10.1109/tcad.2021.3117506
UR  - https://arxiv.org/abs/1811.07722
ID  - 1811.07722
ER  -