TY  - BOOK
AU  - APT K.R. & OLDEROG E.
TI  - VERIFICATION OF SEQUENTIAL AND CONCURRENT PROGRAMS
SN  - 0000387948961
U1  - 005.14 
PB  - NEW YORK : SPRINGER
KW  - CONCURRENT PROGRAMMING : VERIFICATION
ER  -