%0 Journal Article %1 journals/pacmpl/0001CLLTY23 %A Chen, Yu-Fang %A Chung, Kai-Min %A Lengál, Ondrej %A Lin, Jyun-Ao %A Tsai, Wei-Lun %A Yen, Di-De %D 2023 %J Proc. ACM Program. Lang. %K dblp %N PLDI %P 1218-1243 %T An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#0001CLLTY23 %V 7

@article{journals/pacmpl/0001CLLTY23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Chen, Yu-Fang and Chung, Kai-Min and Lengál, Ondrej and Lin, Jyun-Ao and Tsai, Wei-Lun and Yen, Di-De}, biburl = {https://www.bibsonomy.org/bibtex/20563a022ba4de12fd14079ec170f81ae/dblp}, ee = {https://doi.org/10.1145/3591270}, interhash = {6c2a68d2d39ef2895b5a573acb85318c}, intrahash = {0563a022ba4de12fd14079ec170f81ae}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {PLDI}, pages = {1218-1243}, timestamp = {2024-04-08T09:54:49.000+0200}, title = {An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#0001CLLTY23}, volume = 7, year = 2023 }