TY  - BOOK
AU  - HAILPERN,BRENT T
TI  - VERIFYING CONCURRENT PROCESSES USING TEMPORAL LOGIC
SN  - NCST
U1  - 219 
PY  - 1982///
CY  - BERLIN
PB  - SV
ER  -