TY  - BOOK
AU  - Kothanda Uma Umamageswaran
TI  - Formal Semantics And Proof Techniques For Optimizing VHDL Models 
SN  - 9780792383758
PY  - 2000///
CY  - Germany
PB  - Springer
KW  - Formal Semantics And Proof Techniques For Optimizing VHDL Models
KW  - Kothanda Uma Umamageswaran
ER  -