APA (7th ed.) Citation

XU, X., FANG, J., LIANG, S., WANG, L., HUANG, A., SUI, J., & LI, Q. (2025). Rubyphi: Automated model checking for Cache coherence protocols in gem5. Computer Engineering & Science / Jisuanji Gongcheng yu Kexue, 47(7), 1141. https://doi.org/10.3969/j.issn.1007-130X.2025.07.001

Chicago Style (17th ed.) Citation

XU, Xuezheng, Jian FANG, Shaojie LIANG, Lu WANG, Anwen HUANG, Jinggao SUI, and Qiong LI. "Rubyphi: Automated Model Checking for Cache Coherence Protocols in Gem5." Computer Engineering & Science / Jisuanji Gongcheng Yu Kexue 47, no. 7 (2025): 1141. https://doi.org/10.3969/j.issn.1007-130X.2025.07.001.

MLA (9th ed.) Citation

XU, Xuezheng, et al. "Rubyphi: Automated Model Checking for Cache Coherence Protocols in Gem5." Computer Engineering & Science / Jisuanji Gongcheng Yu Kexue, vol. 47, no. 7, 2025, p. 1141, https://doi.org/10.3969/j.issn.1007-130X.2025.07.001.