Title: Formale Methoden zur Spezifizierung automatischer Parallelisierung
First published: 1988
Subjects: Parallel processing (Electronic computers)
LC classification: QA76.58 .B73 1988