TY  - BOOK
AU  - Hailpern Brent  T.
TI  - Verifying concurrent progresses using temporal logic
T2  - Lecture notes in computer science
SN  - 3540112057
U1  - 005.131 23
PY  - 1982///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Programming languages(Computer science)
KW  - Temporal logic
ER  -