Вы здесь
A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part I: Slides
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1996
Ключевые слова:
Стр.:
30 p.
Место издания:
Номер:
NS-95-11
Карточка:
Б2.1, В3.3.
Srivas M. K..
A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part I: Slides-Trykkeriet., 1996.-30 p.-(Препринт Basic Research in Computer Science №NS-95-11).
Таблица в старой библиотеке:
PREP2 395