Baier, Christel <br/><br/>
Principles of Model Checking 

 - U.S.A.  MIT Press  2008 
 - xvii, 963p. 
<br/><br/><label>ISBN: </label>9780262026499 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems--Verification
<br/><br/><label>Dewey Class. No.: </label>004.24  / Bai