Titel |
Metric temporal graph logic over typed attributed graphs / Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider |
|---|---|
Beteiligt |
Holger Giese (Verfasser) |
Erschienen |
Potsdam: Universitätsverlag Potsdam |
Umfang |
29 Seiten : Illustrationen |
ISBN |
978-3-86956-433-3 |
Sprache |
|
Land |
|
Themengebiet |
|
Reihe |
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; Nr. 123 |
Datensatz-ID |
1168438926 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: