TY  - BOOK
AU  - 
TI  - LECTUER NOTES IN COMPUTER SCIENCE ; FINITE REPRESENTATION OF CCS AND TCSP PROGRAMS BY AUTOMATA AND PETRI NETS: V. 369
SN  - 3540515259
U1  - 001.64 
PY  - 1989///
CY  - 
PB  - Springer-Verlag, Berlin
UR  - http://link.springer.com/bookseries/558
ER  -