Metric temporal graph logic over typed attributed graphs

Metric temporal graph logic over typed attributed graphs

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Giese, Holger (VerfasserIn)
Körperschaften: Hasso-Plattner-Institut für Digital Engineering (Herausgebendes Organ), Universitätsverlag Potsdam (Verlag)
Weitere Verfasser: Maximova, Maria (VerfasserIn), Sakizloglou, Lucas (VerfasserIn), Schneider, Sven (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Potsdam Universitätsverlag Potsdam 2019
Ausgabe:Extended version
Schriftenreihe:Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam Nr. 127
Schlagworte:
Forschungsbericht > Cloud Computing > Bildung > Digitalisierung
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturverzeichnis: Seite 27-29
Beschreibung:32 Seiten
Diagramme
ISBN:9783869564630
978-3-86956-463-0