Xu, X., Yang, D., Wang, L., Wang, T., Huang, A. und Li, Q. (2025) „Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model.“, International Journal of Software & Informatics, 15(3), S. 283-305. doi:10.21655 jsi.1673-7288.00350.
Chicago Manual of Style 17th edition (full note)Xu, Xuezheng, Deheng Yang, Lu Wang, Tao Wang, Anwen Huang, und Qiong Li. „Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model.“. International Journal of Software & Informatics 15, Nr. 3 (1. Juli 2025): 283-305. https://doi.org/10.21655 jsi.1673-7288.00350.
American Psychological Association 7th editionXu, X., Yang, D., Wang, L., Wang, T., Huang, A., & Li, Q. (2025). Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model. International Journal of Software & Informatics, 15(3), 283-305. https://doi.org/10.21655 jsi.1673-7288.00350
Modern Language Association 9th editionXu, X., D. Yang, L. Wang, T. Wang, A. Huang, und Q. Li. „Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model.“. International Journal of Software & Informatics, Bd. 15, Nr. 3, Juli 2025, S. 283-05, https://doi.org/10.21655 jsi.1673-7288.00350.
ISO-690 (author-date, Deutsch)XU, Xuezheng, Deheng YANG, Lu WANG, Tao WANG, Anwen HUANG und Qiong LI, 2025. Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model. International Journal of Software & Informatics. 1 Juli 2025. Bd. 15, Nr. 3, S. 283-305. DOI 10.21655 jsi.1673-7288.00350