Baier, Christel <br/><br/>
Principles of Model Checking /    
by Christel Baier. 
 - Cambridge, Mass. :   The MIT Press,   2008. 
 - xvii, 975 p. : ill. ;  
<br/><br/>Include Index 
<br/><br/><label>ISBN: </label>9780262026499   
<br/><br/><label>Subjects--Topical Terms: </label><br/>Principles of model checking
<br/><br/><label>Dewey Class. No.: </label>004.24  / BAI/P