BERARD,B. & OTHERS <br/><br/>
SYSTEMS AND SOFTWARE VERIFICATION:MODEL-CHECKING TECHNIQUIES AND TOOLS 

 - BERLIN  Springer  2001 
 - xii+190p.,24X15Cms. 
<br/><br/><label>ISBN: </label>3540415238 
<br/><br/><label>Dewey Class. No.: </label>621.3819642 B482