APA (7th ed.) Citation

Zakharov, V. A. (2018). Modeling and analysis of the behavior of successive reactive programs. Труды Института системного программирования РАН, 27(2), 221-250. https://doi.org/10.15514/ISPRAS-2015-27(2)-13

Chicago Style (17th ed.) Citation

Zakharov, V. A. "Modeling and Analysis of the Behavior of Successive Reactive Programs." Труды Института системного программирования РАН 27, no. 2 (2018): 221-250. https://doi.org/10.15514/ISPRAS-2015-27(2)-13.

MLA (9th ed.) Citation

Zakharov, V. A. "Modeling and Analysis of the Behavior of Successive Reactive Programs." Труды Института системного программирования РАН, vol. 27, no. 2, 2018, pp. 221-250, https://doi.org/10.15514/ISPRAS-2015-27(2)-13.