K-Inductive Invariant Checking for Graph Transformation Systems

Dyck, Johannes; Giese, Holger

by Johannes Dyck, Holger Giese

Reference:

K-Inductive Invariant Checking for Graph Transformation Systems (Johannes Dyck, Holger Giese), Technical report 119, Hasso Plattner Institute, University of Potsdam, 2017.

Bibtex Entry:

@TechReport{DG17tr,
AUTHOR = {Dyck, Johannes and Giese, Holger},
TITLE = {{K-Inductive Invariant Checking for Graph Transformation Systems}},
YEAR = {2017},
NUMBER = {119},
INSTITUTION = {Hasso Plattner Institute, University of Potsdam},
URL = {http://hpi.de/fileadmin/user_upload/hpi/dokumente/publikationen/projekte/tbhpi119.pdf},
OPTacc_url = {}
}