APA (7th ed.) Citation

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 Style (17th ed.) Citation

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 (9th ed.) Citation

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.