Вы здесь

Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.194-199.
Библиография: 
Bibliogr.: p.198-199
Том: 
1662
Карточка: 

Б2.42.

Bystrov A. V., Virbitskaite I. B..

Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool// Lecture Notes in Computer Science-1999.-Vol. 1662.-P.194-199.
Bibliogr.: p.198-199

Таблица в старой библиотеке: 
PAP19 1000