Для цитирования:
Белов Ю.А. Автоморфизмы систем переходов. Моделирование и анализ информационных систем. 2007;14(1):54-56.
For citation:
Belov Yu.A. Automorphisms of transition systems. Modeling and Analysis of Information Systems. 2007;14(1):54-56. (In Russ.)