TY  - BOOK
AU  - De Bakker J W Ed.
AU  -  De Roever W P Ed.
TI  - Linear time, branching time and partial order in logics and models for concurrency
T2  - Lecture notes in computer science; 354
U1  - D65,8(B)92, M9 
PY  - 1989///
CY  - Berlin
PB  - Springer-verlag       
KW  - Computer programming
ER  -