TY  - BOOK
AU  - Taubner Dirk
TI  - Finite representations of CCS and TCSP programs by Automata and petri nets
T2  - Lecture notes in computer science; 369
U1  - D65,8(B)-4N60, M9 
PY  - 1989///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer science
ER  -