BAIER, C. <br/><br/>
PRINCIPLES OF MODEL CHECKING 

 - Cambridge  MIT Press  2008 
 - xvii+975p.,26x21Cms. 
<br/><br/><label>ISBN: </label>0262026499 
<br/><br/><label>Dewey Class. No.: </label>621.3819642 B1529