Grumberg Orna  <br/><br/>
25 Years of Model Checking History Achievements,Perspectives 
Grumberg Orna  
 - New York   Springer  
<br/><br/>
<br/><br/><label>ISBN: </label>978354069849   Available 
<br/><br/><label>LCCN: </label>2008929605 
<br/><br/><label>Subjects--Corporate Names: </label>--Model Checking
<br/><br/><label>Dewey Class. No.: </label>025.33GRU