by Sven Schneider, Johannes Dyck, Holger Giese
Reference:
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Sven Schneider, Johannes Dyck, Holger Giese), In Graph Transformation - 13th International Conference, ICGT 2020 Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, 2020.
Bibtex Entry:
@InProceedings{2020_formal_verification_of_invariants_for_attributed_graph_transformation_systems_based_on_nested_attributed_graph_conditions,
AUTHOR = {Schneider, Sven and Dyck, Johannes and Giese, Holger},
TITLE = {{Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions}},
YEAR = {2020},
BOOKTITLE = {Graph Transformation - 13th International Conference, ICGT 2020 Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
VOLUME = {12150},
PAGES = {257--275},
EDITOR = {Gadducci, Fabio and Kehrer, Timo},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer},
URL = {https://doi.org/10.1007/978-3-030-51372-6_15},
PDF = {uploads/pdf/2020_formal_verification_of_invariants_for_attributed_graph_transformation_systems_based_on_nested_attributed_graph_conditions_submission.pdf},
OPTacc_pdf = {},
ANNOTE = {TIMESTAMP : Fri, 26 Jun 2020 10:07:56 +0200}
}