Вы здесь

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