ŠEVČÍK, JAROSLAV, VAFEIADIS, VIKTOR, NARDELLI, FRANCESCO ZAPPA, JAGANNATHAN, SURESH und SEWELL, PETER, 2013. Comp Cert TSO: A Verified Compiler for Relaxed-Memory Concurrency. Journal of the ACM. 1 Juni 2013. Vol. 60, no. 3, p. 1-50. DOI 10.1145/2487241.2487248.
Elsevier - Harvard (with titles)ŠEVČÍK, J., VAFEIADIS, V., NARDELLI, F.Z., JAGANNATHAN, S., SEWELL, P., 2013. Comp Cert TSO: A Verified Compiler for Relaxed-Memory Concurrency. Journal of the ACM 60, 1-50. https://doi.org/10.1145/2487241.2487248
American Psychological Association 7th editionŠEVČÍK, J., VAFEIADIS, V., NARDELLI, F. Z., JAGANNATHAN, S., & SEWELL, P. (2013). Comp Cert TSO: A Verified Compiler for Relaxed-Memory Concurrency. Journal of the ACM, 60(3), 1-50. https://doi.org/10.1145/2487241.2487248
Springer - Basic (author-date)ŠEVČÍK J, VAFEIADIS V, NARDELLI FZ, JAGANNATHAN S, SEWELL P (2013) Comp Cert TSO: A Verified Compiler for Relaxed-Memory Concurrency.. Journal of the ACM 60:1-50. https://doi.org/10.1145/2487241.2487248
Juristische Zitierweise (Stüber) (Deutsch)ŠEVČÍK, JAROSLAV/ VAFEIADIS, VIKTOR/ NARDELLI, FRANCESCO ZAPPA/ JAGANNATHAN, SURESH/ SEWELL, PETER, Comp Cert TSO: A Verified Compiler for Relaxed-Memory Concurrency., Journal of the ACM 2013, 1-50.