Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic

Schneider, Sven; Sakizloglou, Lucas; Maximova, Maria; Giese, Holger

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

by Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese

Reference:

Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (Sven Schneider, Lucas Sakizloglou, Maria Maximova, 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/SchneiderSMG20,
  author    = {Sven Schneider and
               Lucas Sakizloglou and
               Maria Maximova and
               Holger Giese},
  editor    = {Fabio Gadducci and
               Timo Kehrer},
  title     = {Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal
               Graph Logic},
  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     = {276--294},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-51372-6\_16},
  doi       = {10.1007/978-3-030-51372-6\_16},
  timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/gg/SchneiderSMG20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}