Edmund M. Clarke Jr.-Orna Grumberg-Doron Peleg <br/><br/>
Model Checking 

 -  The MIT Press  1999 
<br/><br/><label>ISBN: </label>9780262032704 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Computer Science<br/>Computer systems--Verification.<br/>COMPUTERS