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

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

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:confggSchneiderSMG20,
AUTHOR = {Schneider, Sven and Sakizloglou, Lucas and Maximova, Maria and Giese, Holger},
TITLE = {{Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic}},
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 = {276--294},
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_16},
PDF = {uploads/pdf/DBLP:confggSchneiderSMG20_submission.pdf},
OPTacc_pdf = {}
}