Вы здесь

Semantic Extraction for the Automatic Verification of VHDL Descriptions

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1994
Стр.: 
21 p.
Библиография: 
Bibliogr.: p.13-15.
Место издания: 
Номер: 
MIP-9411
Карточка: 

В3.3, Б2.1.

Margaria T., Griva M., Tesio R..

Semantic Extraction for the Automatic Verification of VHDL Descriptions-Passau., 1994.-21 p.-(Препринт Univ.Passau №MIP-9411).
Bibliogr.: p.13-15.

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