Cita APA (7th ed.)
Trippel, C., Manerkar, Y. A., Lustig, D., Pellauer, M., & Martonosi, M. (Feb 8, 2017). TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. arXiv.org. https://doi.org/10.1145/3037697.3037719
Cita Chicago (17th ed.)
Trippel, Caroline, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, i Margaret Martonosi. "TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA." ArXiv.org Feb 8, 2017. https://doi.org/10.1145/3037697.3037719.
Cita MLA (9th ed.)
Trippel, Caroline, et al. "TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA." ArXiv.org, Feb 8, 2017, https://doi.org/10.1145/3037697.3037719.
Atenció: Aquestes cites poden no estar 100% correctes.