Стененко, Александр Александрович; Stenenko, Alexander A.
(2014-06)
Работа выполнялась в лаборатории теоретического программирования
ИСИ СО РАН имени акад. А. П. Ершова. Она является развивает тему работы
бакалавры и посвящена созданию системы верификации раскрашенных сетей
Петри (РСП) ...