Вы здесь

A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part II: Articles

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1996
Стр.: 
22 p.
Библиография: 
Bibliogr.: p.21-22
Место издания: 
Номер: 
NS-96-12
Карточка: 

Б2.1, В3.3.

Srivas M. K..

A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part II: Articles-Trykkeriet., 1996.-22 p.-(Препринт Basic Research in Computer Science №NS-96-12).
Bibliogr.: p.21-22

Таблица в старой библиотеке: 
PREP2 396