Do, C. M., Takagi, T., & Ogata, K. (2025). Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic. ACM Transactions on Software Engineering & Methodology, 34(6), 1-36. https://doi.org/10.1145/3708475
Citace podle Chicago (17th ed.)Do, Canh Minh, Tsubasa Takagi, a Kazuhiro Ogata. "Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic." ACM Transactions on Software Engineering & Methodology 34, no. 6 (2025): 1-36. https://doi.org/10.1145/3708475.
Citace podle MLA (9th ed.)Do, Canh Minh, et al. "Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic." ACM Transactions on Software Engineering & Methodology, vol. 34, no. 6, 2025, pp. 1-36, https://doi.org/10.1145/3708475.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..