APT K.R. & OLDEROG E. <br/><br/>
VERIFICATION OF SEQUENTIAL AND CONCURRENT PROGRAMS 

 - 2nd ed. 
 -  NEW YORK : SPRINGER  1997 
 - 364 p. 
<br/><br/><label>ISBN: </label>0000387948961 
<br/><br/><label>Subjects--Topical Terms: </label><br/>CONCURRENT PROGRAMMING : VERIFICATION
<br/><br/><label>Dewey Class. No.: </label>005.14  / A67