Вы здесь

Верификация раскрашенных сетей Петри методом проверки моделей

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
2015
Стр.: 
27 с.
Библиография: 
Библиогр.: c.27
Место издания: 
Номер: 
178
Карточка: 

Б2.42.

Стененко А. А., Непомнящий В. А..

Верификация раскрашенных сетей Петри методом проверки моделей-Новосибирск., 2015.-27 с.-(Препринт ИСИ СО РАН №178).
Библиогр.: c.27

Таблица в старой библиотеке: 
ISI3 356