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