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