Graph Transformation Systems and Invariant Checking with k-Inductive Invariants

Dyck, Johannes

by Johannes Dyck

Reference:

Graph Transformation Systems and Invariant Checking with k-Inductive Invariants (Johannes Dyck), In Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Dagstuhl 2013, Pro Business, Berlin, 2013. (Extended Abstract)

Bibtex Entry:

@Misc{DyckRTG2013,
AUTHOR = {Dyck, Johannes},
TITLE = {{Graph Transformation Systems and Invariant Checking with k-Inductive Invariants}},
YEAR = {2013},
PAGES = {226},
HOWPUBLISHED = {In Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Dagstuhl 2013, Pro Business, Berlin},
NOTE = {Extended Abstract}
}