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), In Graph Transformation, ICGT 2017 (Juan de Lara, Detlef Plump, eds.), Springer, volume 10373, 2017.

Bibtex Entry:

@InProceedings{DG17,
AUTHOR = {Dyck, Johannes and Giese, Holger},
TITLE = {{k-Inductive Invariant Checking for Graph Transformation Systems}},
YEAR = {2017},
BOOKTITLE = {Graph Transformation, ICGT 2017},
VOLUME = {10373},
PAGES = {142-158},
EDITOR = {de Lara, Juan and Plump, Detlef},
SERIES = {LNCS},
ADDRESS = {Cham},
PUBLISHER = {Springer},
URL = {https://doi.org/10.1007/978-3-319-61470-0_9}
}