TY  - BOOK
AU  - Bakker, J. W. de
AU  - Roever, W.-P. de
ED  - School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, the Netherlands, 1988
TI  - Linear time,: branching time and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988 / J. W. de Bakker, W.-P. de Roever and G. Rozenberg, [eds.]
SN  - 0 540 51080 X
AV  - QA402 S36 1988 
PY  - 1989///
CY  - Berlin
PB  - Springer-Verlag
KW  - System analysis
KW  - Congresses
ER  -