Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем
Козюра Виталий Ефимович. Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем : диссертация ... кандидата физико-математических наук : 05.13.11 / Козюра Виталий Ефимович; [Место защиты: Институт систем информатики Сибирского отделения РАН].- Новосибирск, 2004.- 89 с.: ил.
