Specification and verification of the classical sliding window protocol | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Nepomniaschy V. A.

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

1

Вид:

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

Год:

2011

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

сетевой протокол

sliding window protocol

автоматический

верификация

доказательство теорем

система верификации

Стр.:

P.37056

Выпуск:

32

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

Bibliogr.: p.53-54

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

Б2.2, А3.5.

Chkliaev D. A., Nepomniaschy V. A..

Specification and verification of the classical sliding window protocol// Bulletin of the Novosibirsk Computing Center-2011.-P.37056
Bibliogr.: p.53-54

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

PAP31 727