Вы здесь

Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2007
Стр.: 
P.303-314
Библиография: 
Bibliogr.: p.313-314
Место издания: 
Издательство: 
Том: 
4649
Карточка: 

А3.53, Б2.2.

Nepomniaschy V. A., Alekseev G. I., Argirov V. S., Beloglazov D. M., Bystrov A. V., Chetvertakov E. A., Churina T. G., Mylnikov S. P., Novikov R. M..

Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2007.-Vol. 4649.-P.303-314-(Lecture Notes in Computer Science).
Bibliogr.: p.313-314

Таблица в старой библиотеке: 
PAP31 120