Baier, Christel <br/><br/>
Principles of model checking / 
Christel Baier, Joost-Pieter Katoen 
 - Cambridge, Mass. :  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>026202649X (hardcover : alk. paper) 9780262026499 (hardcover : alk. paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems--Verification<br/>Computer software--Verification