Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (bibtex)
by , ,
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 11:42:54 +0200},
  biburl    = {https://dblp.org/rec/conf/gg/0001DG20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser