APA (7th ed.) Citation

Xiao, L., Hou, Z., Zhu, H., He, M., & Qin, S. (2026). Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+. Journal of Circuits, Systems & Computers, 35(1), 1. https://doi.org/10.1142/S0218126625300089

Chicago Style (17th ed.) Citation

Xiao, Lili, Zhiru Hou, Huibiao Zhu, Mengda He, and Shengchao Qin. "Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+." Journal of Circuits, Systems & Computers 35, no. 1 (2026): 1. https://doi.org/10.1142/S0218126625300089.

MLA (9th ed.) Citation

Xiao, Lili, et al. "Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+." Journal of Circuits, Systems & Computers, vol. 35, no. 1, 2026, p. 1, https://doi.org/10.1142/S0218126625300089.