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

 - Cambridge  The MIT Press  2008 
 - xvii, 963p. 
<br/><br/><label>ISBN: </label>9780262026499  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems-Verification<br/>Computer software-Verification
<br/><br/><label>Dewey Class. No.: </label>004.24 BAI/P