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