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(3), 283. https://doi.org/10.21655/ijsi.1673-7288.00350
Citace podle Chicago (17th ed.)Xu, Xuezheng, Deheng Yang, Lu Wang, Tao Wang, Anwen Huang, a Qiong Li. "Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model." International Journal of Software & Informatics 15, no. 3 (2025): 283. https://doi.org/10.21655/ijsi.1673-7288.00350.
Citace podle MLA (9th ed.)Xu, Xuezheng, et al. "Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model." International Journal of Software & Informatics, vol. 15, no. 3, 2025, p. 283, https://doi.org/10.21655/ijsi.1673-7288.00350.