Treffer: Metric temporal graph logic over typed attributed graphs

Titel:

Metric temporal graph logic over typed attributed graphs : extended version / Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider

Verantwortlich:

Veröffentlicht:

Potsdam [u.a.] : Universität Potsdam[u.a.], 2019

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 127

Zusatz-Informationen