Formal hardware verification  methods and systems in comparison 
ed by Thomas Kropf 
 - Berlin  Springer  1997 
 - xii, 367p 
 - Lectures notes in computer science  1287 .
<br/><br/><label>ISBN: </label>3540634754 
<br/><br/><label>Dewey Class. No.: </label>621.3950287  / N97