Mironov, A. M. (2022). A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model. Automatic control and computer sciences, 56(7), 762-777. https://doi.org/10.3103/S014641162207015X
Chicago-Zitierstil (17. Ausg.)Mironov, A. M. "A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model." Automatic Control and Computer Sciences 56, no. 7 (2022): 762-777. https://doi.org/10.3103/S014641162207015X.
MLA-Zitierstil (9. Ausg.)Mironov, A. M. "A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model." Automatic Control and Computer Sciences, vol. 56, no. 7, 2022, pp. 762-777, https://doi.org/10.3103/S014641162207015X.