Вы здесь

Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.206-219.
Библиография: 
Bibliogr.: p.215-216.
Издательство: 
Том: 
663
Карточка: 

А3.22, Б2.13.

Hamaguchi K., Hiraishi H., Yajima S..

Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic: Springer// Lecture Notes in Computer Science-1993.-Vol. 663.-P.206-219.
Bibliogr.: p.215-216.

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