Computer Aided Verification  5th International Conference CAV'93, Elounda, June 28-July 1 1993  proceedings 
ed. by Costas Courcoubetis 
 - Berlin;  Heidelberg;  New York   Springer  1993 
 - IX, 504 p.  fig., sch., tab. ; 24 cm 
 - Lecture Notes in Computer Science (LNCS)\\Springer\  697 .
<br/><br/><label>ISBN: </label>0-387-56922-7;  3-540-56922-7 
<br/><br/><label>Source: </label>C-182719 
<br/><br/><label>Index Terms--Genre/Form: </label><br/> lucrări conferințe
<br/><br/><label>Universal Decimal Class. No.: </label>004.896(063)