Вы здесь
Griva M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Semantic Extraction for the Automatic Verification of VHDL Descriptions | 1994 | Margaria T., Griva M., Tesio R. | Univ.Passau | 31.01.1995 |
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Semantic Extraction for the Automatic Verification of VHDL Descriptions | 1994 | Margaria T., Griva M., Tesio R. | Univ.Passau | 31.01.1995 |