Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions

Schneider, Sven; Dyck, Johannes; Giese, Holger

doi:10.1007/978-3-030-51372-6_15

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{DBLP:conf/gg/0001DG20,
  author    = {Sven Schneider and
               Johannes Dyck and
               Holger Giese},
  editor    = {Fabio Gadducci and
               Timo Kehrer},
  title     = {Formal Verification of Invariants for Attributed Graph Transformation
               Systems Based on Nested Attributed Graph Conditions},
  booktitle = {Graph Transformation - 13th International Conference, {ICGT} 2020,
               Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12150},
  pages     = {257--275},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-51372-6\_15},
  doi       = {10.1007/978-3-030-51372-6\_15},
  timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/gg/0001DG20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}