Верификация раскрашенных сетей Петри методом проверки моделей = Model checking approach to verification of coloured Petri nets / А. А. Стененко, В. А. Непомнящий
Параллельное заглавие: : z48790Model checking approach to verification of coloured Petri nets, английскийЯзык: русский ; английский.Выходные данные: Новосибирск : [б. и.], 2015Физическая характеристика: 27 с. : табл. ; 21 см.Серия: Препринт ; 178Примечания: Авт. также на англ. яз.: A.A. Stenenko, V.A. Nepomniaschy.Библиография: Библиогр.: с. 27 (15 назв.).Предметная рубрика - Тема: Петри сети | Информация -- Передача -- Протоколы -- Верификация УДК: 004.4Другие классификации: З811.3 Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Авт. также на англ. яз.: A.A. Stenenko, V.A. Nepomniaschy
Библиогр.: с. 27 (15 назв.)