Clarke, E. M. <br/><br/>
Model checking   [Book] 
E. M. Clarke. 
 -  The MIT Press London 
<br/><br/> All. 
<br/><br/><label>ISBN: </label>262032708 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Systems--Verification
<br/><br/><label>Dewey Class. No.: </label>004.21