Информатика, вычислительная техника и управление. Диссертация Исследование и разработка методов верификации протоколов распределенных систем на основе бисимуляционной эквивалентности сетей Петри : диссертация ... кандидата технических наук : 05.13.11, Владивосток, 1997