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