Вы здесь

Formal Verification of an Arbiter Cascade

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.205-223.
Библиография: 
Bibliogr.: p.212.
Том: 
616
Карточка: 

Б2.22, Б2.42.

Genrich H. J., Shapiro R..

Formal Verification of an Arbiter Cascade// Lecture Notes in Computer Science-1992.-Vol. 616.-P.205-223.
Bibliogr.: p.212.

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