Graph Transformation Systems and Verification with k-Inductive Invariants

Dyck, Johannes

by Johannes Dyck

Reference:

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

Bibtex Entry:

@Misc{DyckRTG2014,
AUTHOR = {Dyck, Johannes},
TITLE = {{Graph Transformation Systems and Verification with k-Inductive Invariants}},
YEAR = {2014},
HOWPUBLISHED = {In Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, Dagstuhl 2014, Pro Business, Berlin},
NOTE = {Extended Abstract}
}