@phdthesis{Dyck2020,
  author      = {Johannes Dyck},
  title       = {Verification of graph transformation systems with k-inductive invariants},
  type        = {doctoralthesis},
  pages       = {X, 364},
  school      = {Universit{\"a}t Potsdam},
  doi       = {10.25932/publishup-44274},
  year        = {2020},
}