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
Chicago-Zitierstil (17. Ausg.)Gopalakrishnan, Ganesh, Robert M. Kirby, Stephen Siegel, Rajeev Thakur, William Gropp, Ewing Lusk, Bronis R. De Supinski, Martin Schulz, und 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.
MLA-Zitierstil (9. Ausg.)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.