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
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle Chicago (17th ed.)
Trippel, Caroline, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, a 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.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle 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.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..