Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0

MLA

Kim, Sean, and Marcus Edwards. Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 Compatible QASM-TS 2.0. 2024. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2412.12578&authtype=sso&custid=ns315887.

APA

Kim, S., & Edwards, M. (2024). Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0.

Chicago

Kim, Sean, and Marcus Edwards. 2024. “Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 Compatible QASM-TS 2.0.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2412.12578&authtype=sso&custid=ns315887.