Formal Specification and Analysis of Communication Protocols using NPNs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1988

Ключевые слова:

сети петри

численный

протокол

Стр.:

P.279-288

Библиография:

Bibliogr.: p.287-288

Место издания:

Источник:

Application and Theory of Petri Nets

Карточка:

Б2.22, Б2.42.

Parker K. R., Berger R. A..

Formal Specification and Analysis of Communication Protocols using NPNs-Venice.// Application and Theory of Petri Nets, 1988.-P.279-288
Bibliogr.: p.287-288

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

PAP30 393