Вы здесь

On Symbolic Model Checking in Petri Nets

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.1479-1486.
Библиография: 
Bibliogr.: p.1485.
Источник: 
Номер: 
11
Том: 
E78-A
Карточка: 

Б2.42, В3.3.

Hiraishi K., Nakano M..

On Symbolic Model Checking in Petri Nets// IEICE Trans.-1995, №11.-Vol. E78-A.-P.1479-1486.
Bibliogr.: p.1485.

Таблица в старой библиотеке: 
PAP14 625