XU, Xuezheng, YANG, Deheng, WANG, Lu, WANG, Tao, HUANG, Anwen und LI, Qiong, 2025. Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model. International Journal of Software & Informatics. 1 Juli 2025. Vol. 15, no. 3, p. 283-305. DOI 10.21655 jsi.1673-7288.00350.
Elsevier - Harvard (with titles)Xu, 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, 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
Springer - Basic (author-date)Xu 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:283-305. https://doi.org/10.21655 jsi.1673-7288.00350
Juristische Zitierweise (Stüber) (Deutsch)Xu, Xuezheng/ Yang, Deheng/ Wang, Lu/ Wang, Tao/ Huang, Anwen/ Li, Qiong, Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model., International Journal of Software & Informatics 2025, 283-305.