Baier, Christel <br/><br/>
Principles of model checking 
Christel Baier, Joost-Pieter Katoen 
 - Cambridge, MA  The MIT Press  2008 
 - xvii, 975 p. : ill. ; 26 cm 
<br/><br/> Includes bibliographical references (p. 931-964) and index 
<br/><br/><label>ISBN: </label>9780262026499 
<br/><br/><label>ISSN: </label>2007037603 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software - Verification<br/>Computer systems - Verification
<br/><br/><label>Dewey Class. No.: </label>004.24 BAI