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

Кубасов С.В. Верификация синхронно-автоматных программ. Моделирование и анализ информационных систем. 2007;14(4):20-27.

For citation:

Kubasov S.V. Verification of Synchronous-automaton Programs. Modeling and Analysis of Information Systems. 2007;14(4):20-27. (In Russ.)