Clarke, E.M., et al <br/><br/>
Model checking 
E.M. Clarke, et al 
 - Cambridge  MIT Press  1999 
 - xiv  314 
<br/><br/><label>ISBN: </label>9780262032704 
<br/><br/><label>Dewey Class. No.: </label>18  / CLAR