Для цитирования: Кубасов С.В., Соколов В.А. Синхронная модель автоматной программы. Моделирование и анализ информационных систем. 2007;14(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.)