TY  - BOOK
AU  - Hsieh,Harry
AU  - Balarin,Felice
AU  - Sangiovanni-Vincentelli,Alberto
TI  - Synchronous Equivalence: : formal methods for embedded systems
SN  - 079237262X (alk. paper)
U1  - 004.16 
PY  - 2001///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Embedded computer systems
KW  - Formal methods (Computer science)
N1  - Bib and Ref
UR  - http://www.loc.gov/catdir/enhancements/fy0820/00051457-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0820/00051457-t.html
ER  -