On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

вычислительный

сложность

протокол

проверка

Стр.:

P.658-667.

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

Bibliogr.: p.666.

Источник:

Номер:

4

Том:

E77-A

Карточка:

Б2.12, А3.53.

Kakuda Y., Takada Y., Kikuno T..

On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels// IEICE Trans.-1994, №4.-Vol. E77-A.-P.658-667.
Bibliogr.: p.666.

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

PAP10 456