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
Citácia podle Chicago (17th ed.)Raman, Raghavan, Jisheng Zhao, Vivek Sarkar, Martin Vechev, a 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.
Citácia podľa MLA (8th ed.)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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..