Для цитирования:

Винарский Е.М., Захаров В.А. О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени. Моделирование и анализ информационных систем. 2020;27(4):396-411. https://doi.org/10.18255/1818-1015-2020-4-396-411

For citation:

Vinarskii E.M., Zakharov V.A. On the Modeling of Sequential Reactive Systems by Means of Real Time Automata. Modeling and Analysis of Information Systems. 2020;27(4):396-411. (In Russ.) https://doi.org/10.18255/1818-1015-2020-4-396-411