Baier, Christel  <br/><br/>
Principles of model checking 
/ Christel Baier ; Joost-Pieter Katoen ; edited by Kim Guldstrand Larsen 
 - Cambridge, London :   MIT Press,   2008. 
 - xvii, 963 p. :   ill. ;  25.7 cm. 
<br/><br/> includes index 
<br/><br/>including bibliographical references 
<br/><br/><label>ISBN: </label>9780262026499 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software verification<br/>Logical verification<br/>Probabilistic systems
<br/><br/><label>Dewey Class. No.: </label>004.24 BAI