Treffer: Probabilistic metric temporal graph logic
Titel:
Probabilistic metric temporal graph logic / Sven Schneider, Maria Maximova, Holger Giese
Verantwortlich:
Veröffentlicht:
Potsdam : Universität Potsdam, 2022Potsdam : Universitätsverlag Potsdam, 2022
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 146
DOI:
10.25932/publishup-54586