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