Hsieh, Harry <br/><br/>
Synchronous Equivalence  : formal methods for embedded systems 
Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli 
 - Boston  Kluwer Academic Publishers  2001 
 - x, 136 p  ill.  25 cm 
<br/><br/>Includes bibliographies and index 
<br/><br/><label>ISBN: </label>079237262X (alk. paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems.<br/>Formal methods (Computer science)
<br/><br/><label>Dewey Class. No.: </label>004.16  / HSI