Вы здесь
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем
Количество экземпляров:
1
Колл. автор:
Вид:
Автореферат
Год:
2004
Ключевые слова:
Стр.:
18
Библиография:
Библиогр.: c.17-18
Место защиты:
Номер специальности:
05.13.11
Карточка:
Б2.42.
Козюра В. Е..
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем: Автореферат диссертации на ученую степень: канд..: 05.13.11.-Новосибирск, 2004.-18
Библиогр.: c.17-18
Таблица в старой библиотеке:
DAR1MP 488