Вы здесь
Huibiao Z.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics | 2002 | Huibiao Z., Bowen J. P., Jifeng H. | Lecture Notes in Computer Science | 20.11.2002 | |||
| СТ | A Semantics for Verilog using Duration Calculus | 2000 | Huibiao Z., Jifeng H. | 16th World Computer Congress 2000 | 06.03.2001 |