Static Verification Techniques for Attributed Graph Transformations

Frederik Deckwerth. Static Verification Techniques for Attributed Graph Transformations. PhD thesis, Darmstadt University of Technology, Germany, 2017. [doi]

@phdthesis{dnb-19398,
  title = {Static Verification Techniques for Attributed Graph Transformations},
  author = {Frederik Deckwerth},
  year = {2017},
  url = {http://d-nb.info/113180256X},
  researchr = {https://researchr.org/publication/dnb-19398},
  cites = {0},
  citedby = {0},
  school = {Darmstadt University of Technology, Germany},
}