Baier, Christel. <br/><br/>
Principles of model checking / 
Christel Baier, Joost-Pieter Katoen. 
 - Cambridge, Mass. :  The MIT Press,  [2012 
 - xvii, 975 p. : 
<br/><br/><label>ISBN: </label>9780262026499 (hardcover : alk. paper) 026202649X (hardcover : alk. paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems--Verification.<br/>Computer software--Verification.
<br/><br/><label>Dewey Class. No.: </label>51  / BAI