TY  - BOOK
AU  - Hsieh, Harry
TI  - Synchronous equivalence: formal methods for embedded systems
SN  - 079237262X
U1  - 621.381959 
PY  - 2000///
CY  - Boston
PB  - Kluwer Academic
KW  - Microprocessors
KW  - Microcontrollers
KW  - Embedded systems architecture
ER  -