TY  - BOOK
AU  - Baeten, J C M.
AU  - Middelburg, C A.
TI  - Process Algebra with Timing
SN  - 3-540-43447-X
CY  - Germany
KW  - Algebra
ER  -