Xiao, L., Hou, Z., Zhu, H., He, M. und Qin, S. (2026) „Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.“, Journal of Circuits, Systems & Computers, 35(1), S. 1-21. doi:10.1142/S0218126625300089.
Chicago Manual of Style 17th edition (full note)Xiao, Lili, Zhiru Hou, Huibiao Zhu, Mengda He, und Shengchao Qin. „Specifying and Verifying Programs Over the MCA ARMv8 Architecture With TLA+.“. Journal of Circuits, Systems & Computers 35, Nr. 1 (15. Januar 2026): 1-21. https://doi.org/10.1142/S0218126625300089.
American Psychological Association 7th editionXiao, 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-21. https://doi.org/10.1142/S0218126625300089
Modern Language Association 9th editionXiao, L., Z. Hou, H. Zhu, M. He, und S. Qin. „Specifying and Verifying Programs Over the MCA ARMv8 Architecture With TLA+.“. Journal of Circuits, Systems & Computers, Bd. 35, Nr. 1, Januar 2026, S. 1-21, https://doi.org/10.1142/S0218126625300089.
ISO-690 (author-date, Deutsch)XIAO, Lili, Zhiru HOU, Huibiao ZHU, Mengda HE und Shengchao QIN, 2026. Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+. Journal of Circuits, Systems & Computers. 15 Januar 2026. Bd. 35, Nr. 1, S. 1-21. DOI 10.1142/S0218126625300089