TY  - BOOK
AU  - Cassez, Franck et al Eds.
TI  - Modeling and Verification of Parallel Processes, 4th Summer School, France, 2000
SN  - 3540427872
CY  - Berlin
KW  - Parallel Processes
ER  -