Вы здесь

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

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

Б2.22, Б3.54.

Покозий Е. А..

Метод верификации свойств параллелизма временных сетей Петри-Новосибирск., 1999.-28 с.-(Препринт ИСИ СО РАН №61).-(Lecture Notes in Artificial Intelligence).
Библиогр.: c.28

Таблица в старой библиотеке: 
ISI2 252