@phdthesis{Dyck2020, author = {Johannes Dyck}, title = {{Verification of Graph Transformation Systems with k-Inductive Invariants}}, school = {Hasso Plattner Institute at the University of Potsdam}, url = {https://publishup.uni-potsdam.de/frontdoor/index/index/docId/44274}, year = {2020}, }