A Notion of Petri Net Entity for Communication Protocol Design/Inst. Automation and Control Processes. Far Eastern Dep. | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Препринт

Год:

1989

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

сети петри

протокол

верификация

параллельный

Стр.:

26 p.

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

Bibliogr.: p.24-26.

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

Карточка:

Б2.42.

Anisimov N. A..

A Notion of Petri Net Entity for Communication Protocol Design/Inst. Automation and Control Processes. Far Eastern Dep.-Vladivostok., 1989.-26 p.
Bibliogr.: p.24-26.

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

PREP1 741