Baier, Christel. <br/><br/>
Principles of model checking / 
Christel Baier and Joost-Pieter Katoen. 
 - Cambridge :  The MIT Press,  2008. 
 - xvii, 975 p. :  ill. ;  26 cm. 
<br/><br/><label>ISBN: </label>9780262026499 (hbk.) 
<br/><br/><label>Nat. Bib. No.: </label>GBA847597  bnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>014566457  Uk 
<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