Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (bibtex)
by , , ,
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 = {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}
}
Powered by bibtexbrowser