APA (7th ed.) Citation

Chen, Y., Chung, K., Lengál, O., Lin, J., Tsai, W., & Yen, D. (2025). An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Communications of the ACM, 68(6), 85. https://doi.org/10.1145/3725728

Chicago Style (17th ed.) Citation

Chen, Yu-Fang, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, and Di-De Yen. "An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits." Communications of the ACM 68, no. 6 (2025): 85. https://doi.org/10.1145/3725728.

MLA (9th ed.) Citation

Chen, Yu-Fang, et al. "An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits." Communications of the ACM, vol. 68, no. 6, 2025, p. 85, https://doi.org/10.1145/3725728.