Treffer: Probabilistic metric temporal graph logic

Titel:
Probabilistic metric temporal graph logic / Sven Schneider, Maria Maximova, Holger Giese
Veröffent­licht:
Potsdam : Universität Potsdam, 2022
Potsdam : Universitätsverlag Potsdam, 2022
Umfang:
1 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 ; 146
DOI:
10.25932/publishup-54586