Probabilistic metric temporal graph logic

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Schneider, Sven (VerfasserIn)
Körperschaften: Hasso-Plattner-Institut für Digital Engineering (Herausgebendes Organ), Universitätsverlag Potsdam (Verlag)
Weitere Verfasser: Maximova, Maria (VerfasserIn), Giese, Holger (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Potsdam Universitätsverlag Potsdam 2022
Schriftenreihe:Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam Nr. 140
Schlagworte:
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:38 Seiten
Diagramme
ISBN:9783869565170
978-3-86956-517-0