Вы здесь
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