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