CLARKE ,E.M. & OTHERS <br/><br/>
MODEL CHECKING 

 - Cambridge  MIT Press  1999 
 - xiv+314p.,23X18Cms. 
<br/><br/><label>ISBN: </label>0262032708 
<br/><br/><label>Dewey Class. No.: </label>621.38195 C597