TY  - BOOK
AU  - De Roever Willem-Paul
AU  - Langmaack, Hans
AU  - Pnueli, Amir Eds.,
TI  - Compositionality: the significant difference: international symposium, COMPOS '97, Bad Malente, Germany, September 1997 : revised lectures
SN  - 3540654933
CY  - Berlin
KW  - Parallel processing (Electronic computers)
KW  - Congresses
KW  - Automatic theorem proving
ER  -