Reference:
, "Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic", in Fabio Gadducci, Timo Kehrer, Eds., Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, vol. 12150 of Lecture Notes in Computer Science, pp. 276–294, Springer, 2020.
Links:
@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 11:42:54 +0200},
biburl = {https://dblp.org/rec/conf/gg/SchneiderSMG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser