CHRISTEL BAIER  <br/><br/>
PRINCIPLES OF MODEL CHECKING 

 - USA  MIT PRESS 
 - 975 
<br/><br/><label>ISBN: </label>9780262026499 
<br/><br/><label>Dewey Class. No.: </label>004.24