@article{Chen_2025,
    title = {An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits},
    issn = {1557-7317},
    url = {http://dx.doi.org/10.1145/3725728},
    doi = {10.1145/3725728},
    journal = {Communications of the ACM},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Chen, Yu-Fang and Chung, Kai-Min and Lengál, Ondřej and Lin, Jyun-Ao and Tsai, Wei-Lun and Yen, Di-De},
    year = {2025},
    month = {may},
    date-added = {2026-3-15 12:34:17 +0100}
}

@article{Chen_2025, title = {An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits}, issn = {1557-7317}, url = {http://dx.doi.org/10.1145/3725728}, doi = {10.1145/3725728}, journal = {Communications of the ACM}, publisher = {Association for Computing Machinery (ACM)}, author = {Chen, Yu-Fang and Chung, Kai-Min and Lengál, Ondřej and Lin, Jyun-Ao and Tsai, Wei-Lun and Yen, Di-De}, year = {2025}, month = {may}, date-added = {2026-3-15 12:34:17 +0100} }