APA-Zitierstil (7. Ausg.)

Raman, R., Zhao, J., Sarkar, V., Vechev, M., & Yahav, E. (2012). Efficient data race detection for async-finish parallelism. Formal methods in system design, 41(3), 321-347. https://doi.org/10.1007/s10703-012-0143-7

Chicago-Zitierstil (17. Ausg.)

Raman, Raghavan, Jisheng Zhao, Vivek Sarkar, Martin Vechev, und Eran Yahav. "Efficient Data Race Detection for Async-finish Parallelism." Formal Methods in System Design 41, no. 3 (2012): 321-347. https://doi.org/10.1007/s10703-012-0143-7.

MLA-Zitierstil (9. Ausg.)

Raman, Raghavan, et al. "Efficient Data Race Detection for Async-finish Parallelism." Formal Methods in System Design, vol. 41, no. 3, 2012, pp. 321-347, https://doi.org/10.1007/s10703-012-0143-7.