Other Publications: Verifizierte Summary Kanten Berechnung in System Dependence Graphs

[altmayer12bachelorarbeit]

Stefan Altmayer, Verifizierte Summary Kanten Berechnung in System Dependence Graphs, December 2012.

Download

BibTeX

@misc{altmayer12bachelorarbeit,
  title = {Verifizierte Summary Kanten Berechnung in System Dependence Graphs},
  year = {2012},
  month = dec,
  author = {Stefan Altmayer},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Bachelor and Masters theses

Functional summary edge computation for PDGs