- 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 ; 123
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universität Potsdam
- (wann)
-
2018
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universitätsverlag Potsdam
- (wann)
-
2018
- URN
-
urn:nbn:de:kobv:517-opus4-411351
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:54 MESZ
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
- Giese, Holger
- Maximova, Maria
- Sakizloglou, Lucas
- Schneider, Sven
- Universität Potsdam
- Universitätsverlag Potsdam
Entstanden
- 2018
Ähnliche Objekte (12)
Metric temporal graph logic over typed attributed graphs
Metric temporal graph logic over typed attributed graphs : extended version
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Invariant analysis for multi-agent graph transformation systems using k-induction
Formal testing of timed graph transformation systems using metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Metric temporal graph logic over typed attributed graphs
Metric temporal graph logic over typed attributed graphs : extended version
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Invariant analysis for multi-agent graph transformation systems using k-induction
Formal testing of timed graph transformation systems using metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Metric temporal graph logic over typed attributed graphs
Metric temporal graph logic over typed attributed graphs : extended version
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Invariant analysis for multi-agent graph transformation systems using k-induction
Formal testing of timed graph transformation systems using metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Interval probabilistic timed graph transformation systems