Вы здесь
Proof-Checking a Data Link Protocol
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1994
Ключевые слова:
Стр.:
P.127-165.
Библиография:
Bibliogr.: p.164-165.
Издательство:
Источник:
Том:
806
Карточка:
А2.2, А3.53.
Helmink L., Sellink M.P. A., Vaandrager F. W..
Proof-Checking a Data Link Protocol: Springer// Lecture Notes in Computer Science-1994.-Vol. 806.-P.127-165.
Bibliogr.: p.164-165.
Таблица в старой библиотеке:
PAP8 913