BibTeX record conf/gg/SchneiderSMG20

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics