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