Baier, Christel <br/><br/>
Principles of model checking 

 - Massachusetts :  The MIT Press,  ©2008. 
 - xvii, 963 p. :  ill. (b&w) ;  26 cm (Hardbound) 
<br/><br/>Includes index. 
<br/><br/><label>ISBN: </label>9780262026499 
<br/><br/><label>Subjects--Index Terms: </label>Computer systems--Verification Computer software--Verification 
<br/><br/><label>Dewey Class. No.: </label>004.24  / BAI / B