XIAO, Lili, HOU, Zhiru, ZHU, Huibiao, HE, Mengda und QIN, Shengchao, 2026. Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+. Journal of Circuits, Systems & Computers. 15 Januar 2026. Vol. 35, no. 1, p. 1-21. DOI 10.1142/S0218126625300089.
Elsevier - Harvard (with titles)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-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
Springer - Basic (author-date)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-21. https://doi.org/10.1142/S0218126625300089
Juristische Zitierweise (Stüber) (Deutsch)Xiao, Lili/ Hou, Zhiru/ Zhu, Huibiao/ He, Mengda/ Qin, Shengchao, Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+., Journal of Circuits, Systems & Computers 2026, 1-21.