Вы здесь
Метод верификации свойств параллелизма временных сетей Петри
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1999
Ключевые слова:
Стр.:
28 с.
Библиография:
Библиогр.: c.28
Место издания:
Номер:
61
Карточка:
Б2.22, Б3.54.
Покозий Е. А..
Метод верификации свойств параллелизма временных сетей Петри-Новосибирск., 1999.-28 с.-(Препринт ИСИ СО РАН №61).-(Lecture Notes in Artificial Intelligence).
Библиогр.: c.28
Таблица в старой библиотеке:
ISI2 252