@phdthesis{dnb-10453,
  title = {Formale Methoden zur Spezifizierung automatischer Parallelisierung},
  author = {Thomas Brandes},
  year = {1988},
  url = {http://d-nb.info/881048771},
  researchr = {https://researchr.org/publication/dnb-10453},
  cites = {0},
  citedby = {0},
  school = {University of Marburg, Germany},
}