Clarke, E. M. <br/><br/>
Model Checking /    
by E. M. Clarke. 
 - Cambridge, Mass. :   MIT Press,   1999. 
 - xiv, 314 p. : ill. ;  
<br/><br/>Include Index 
<br/><br/><label>ISBN: </label>9780260032704   
<br/><br/><label>Subjects--Topical Terms: </label><br/>Model Checking
<br/><br/><label>Dewey Class. No.: </label>004.21  / CLA/M