K-Inductive Invariant Checking for Graph Transformation Systems (bibtex)
by ,
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}
}
Powered by bibtexbrowser