Алгоритмы и программный комплекс для анализа логико-динамических моделей автоматного типа : автореф. дис. на соиск. учен. степ. к.т.н. : спец. 05.13.18
Алгоритмы и программный комплекс для анализа логико-динамических моделей автоматного типа : автореф. дис. на соиск. учен. степ. к.т.н. : спец. 05.13.18