An Algebra of Regular Macronets for Formal Specification of Communication Protocols | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1991

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

протоколы

сети петри

формальный

Стр.:

P.541-560.

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

Bibliogr.: p.558-560.

Источник:

Computers and Artificial Intelligence

Номер:

6

Том:

10

Карточка:

Б2.42, Б2.15.

Anisimov N. A..

An Algebra of Regular Macronets for Formal Specification of Communication Protocols// Computers and Artificial Intelligence-1991, №6.-Vol. 10.-P.541-560.
Bibliogr.: p.558-560.

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

PAP3 143