Gopalakrishnan, G., Kirby, R. M., Siegel, S., Thakur, R., Gropp, W., Lusk, E., . . . Bronevetsky, G. (2011). Formal analysis of MPI-based parallel programs. Communications of the ACM, 54(12), 82-91. https://doi.org/10.1145/2043174.2043194
Citace podle Chicago (17th ed.)Gopalakrishnan, Ganesh, Robert M. Kirby, Stephen Siegel, Rajeev Thakur, William Gropp, Ewing Lusk, Bronis R. De Supinski, Martin Schulz, a Greg Bronevetsky. "Formal Analysis of MPI-based Parallel Programs." Communications of the ACM 54, no. 12 (2011): 82-91. https://doi.org/10.1145/2043174.2043194.
Citace podle MLA (9th ed.)Gopalakrishnan, Ganesh, et al. "Formal Analysis of MPI-based Parallel Programs." Communications of the ACM, vol. 54, no. 12, 2011, pp. 82-91, https://doi.org/10.1145/2043174.2043194.