- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 133
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universität Potsdam
- (wann)
-
2020
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universitätsverlag Potsdam
- (wann)
-
2020
- DOI
-
10.25932/publishup-49013
- URN
-
urn:nbn:de:kobv:517-opus4-490131
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Maximova, Maria
- Schneider, Sven
- Giese, Holger
- Universität Potsdam
- Universitätsverlag Potsdam
Entstanden
- 2020
Ähnliche Objekte (12)
Compositional analysis of probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Counterexamples for Timed Probabilistic Reachability
Extended Directed Search for Probabilistic Timed Reachability
Compositional control-flow reduction for probabilistic model checking
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Time-aware probabilistic knowledge graphs
Compositional analysis of probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Counterexamples for Timed Probabilistic Reachability
Extended Directed Search for Probabilistic Timed Reachability
Compositional control-flow reduction for probabilistic model checking
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Time-aware probabilistic knowledge graphs
Compositional analysis of probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Counterexamples for Timed Probabilistic Reachability
Extended Directed Search for Probabilistic Timed Reachability
Compositional control-flow reduction for probabilistic model checking
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic