Вы здесь

Modeling and verification of SDL specified distributed systems using high-level Petri nets

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Статья из сборника или журнала
Год: 
2004
Стр.: 
P.100-111
Библиография: 
Bibliogr.: p.110-111
Место издания: 
Том: 
1
Карточка: 

Б2.2, Б3.5.

Nepomniaschy V. A., Argirov V. S., Beloglazov D. M., Bystrov A. V., Churina T. G., Mashukov M. Yu., Novikov R. M..

Modeling and verification of SDL specified distributed systems using high-level Petri nets-Berlin.// Concurrency, Specification and Programming - CS&P 2004, 2004.-Vol. 1.-P.100-111
Bibliogr.: p.110-111

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