- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: 10.2168/LMCS-8(3:21)2012
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2012
- Urheber
-
Fischer, Diana
Kaiser, Lukasz
- DOI
-
10.18154/RWTH-CONV-075914
- URN
-
urn:nbn:de:101:1-2018111907115159643357
- 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
- Fischer, Diana
- Kaiser, Lukasz
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2012
Ähnliche Objekte (12)
Model checking of duration calculus specifications
Satisfiability Checking for the Coalgebraic µ-Calculus
Model checking stochastic hybrid systems
The quantitative µ-calculus
The quantitative µ-calculus
Stückweise lineare Funktionen für Network Calculus
Diagnostic checking in linear processes with infinit variance
Diagnostic checking in linear processes with infinite variance
Foundations for Entailment Checking in Quantitative Separation Logic
Multiscale calculus with applications in quantitative finance
Model checking hybrid Petri nets with multiple general transition firings
Liveness checking as safety checking
Model checking of duration calculus specifications
Satisfiability Checking for the Coalgebraic µ-Calculus
Model checking stochastic hybrid systems
The quantitative µ-calculus
The quantitative µ-calculus
Stückweise lineare Funktionen für Network Calculus
Diagnostic checking in linear processes with infinit variance
Diagnostic checking in linear processes with infinite variance
Foundations for Entailment Checking in Quantitative Separation Logic
Multiscale calculus with applications in quantitative finance
Model checking hybrid Petri nets with multiple general transition firings
Liveness checking as safety checking
Model checking of duration calculus specifications
Satisfiability Checking for the Coalgebraic µ-Calculus
Model checking stochastic hybrid systems
The quantitative µ-calculus
The quantitative µ-calculus
Stückweise lineare Funktionen für Network Calculus
Diagnostic checking in linear processes with infinit variance
Diagnostic checking in linear processes with infinite variance
Foundations for Entailment Checking in Quantitative Separation Logic
Multiscale calculus with applications in quantitative finance
Model checking hybrid Petri nets with multiple general transition firings