Для цитирования: Кубасов С.В., Соколов В.А. Синхронная модель автоматной программы. Моделирование и анализ информационных систем. 2007;14(1):11-18. https://doi.org/10.18255/1818-1015-2007-1-11-18

For citation: Kubasov S.V., Sokolov V.A. Synchronous model of automaton program. Modeling and Analysis of Information Systems. 2007;14(1):11-18. (In Russ.) https://doi.org/10.18255/1818-1015-2007-1-11-18