Вы здесь
Verifying Part of the ACCESS.bus Protocol Using PVS
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.96-110.
Библиография:
Bibliogr.: p.110.
Источник:
Том:
1026
Карточка:
А3.54, А3.53.
Hooman J..
Verifying Part of the ACCESS.bus Protocol Using PVS// Lecture Notes in Computer Science-1995.-Vol. 1026.-P.96-110.
Bibliogr.: p.110.
Таблица в старой библиотеке:
PAP14 149