%0 Thesis %1 brandes1987formale %A Brandes, Thomas %D 1987 %K %T Formale Methoden zur Spezifizierung automatischer Parallelisierung

@phdthesis{brandes1987formale, added-at = {2023-12-13T02:00:02.000+0100}, author = {Brandes, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2552e2769d3faa0c6a3419a9c167cf670/admin}, dnbtitleid = {881048771}, interhash = {797826b8befebefc617d989c92bb1a9a}, intrahash = {552e2769d3faa0c6a3419a9c167cf670}, keywords = {}, school = {Uni Marburg}, timestamp = {2023-12-13T02:00:02.000+0100}, title = {Formale Methoden zur Spezifizierung automatischer Parallelisierung}, year = 1987 }