Информатика, вычислительная техника и управление. Диссертация Методы спецификации и верификации параллельных моделей с непрерывным временем : диссертация ... кандидата физико-математических наук : 05.13.11, Новосибирск, 1999