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
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita Chicago Style (17a ed.)
Trippel, Caroline, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, y 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.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a 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.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.