Formale Methoden zur Spezifizierung automatischer Parallelisierung

Thomas Brandes. Formale Methoden zur Spezifizierung automatischer Parallelisierung. PhD thesis, University of Marburg, Germany, 1988. [doi]

Abstract

Abstract is missing.