TY  - BOOK
AU  - Bakker J W de
ED  - School/Workshop on Linear time,Branching time and Partial Order in Logics and Models for Concurrency( 1988 : Netherlands )
ED  - School/Workshop on Linear time,Branching time and Partial Order in Logics and Models for Concurrency
TI  - Linear time,branching time and partial order in logics and models for concurrency : proceedings
U1  - 5.131 
PY  - 1989///
CY  - Berlin
PB  - Springer Verlag
KW  - Branching time
KW  - Computer science
KW  - Linear time
ER  -