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
Citácia podle Chicago (17th ed.)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.
Citácia podľa MLA (8th ed.)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.