- Weitere Titel
-
Automatische Verifikation paralleler Systeme mittels temporaler Logiken
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Ilmenau, Technische Universität Ilmenau, Diss., 2015
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Ilmenau
- (wer)
-
Universitätsbibliothek Ilmenau
- (wann)
-
2016
- Urheber
-
Mennicke, Roy
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:gbv:ilm1-2015000448
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Mennicke, Roy
- Kuske, Dietrich
- Gastin, Paul
- Leucker, Martin
- Universitätsbibliothek Ilmenau
Entstanden
- 2016
Ähnliche Objekte (12)
Probabilistic Model Checking for Temporal Logics in Weighted Structures
Concurrent temporal logic
Quantales and Temporal Logics
Quantales and temporal logics
Output space compaction for testing and concurrent checking
Output space compaction for testing and concurrent checking
Infinite state model checking of propositional dynamic logics
Logics on data words : Expressivity, satisfiability, model checking
Satisfiability and model checking in team based logics
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Quantitative Temporal Logics : PSpace and below
Probabilistic Model Checking for Temporal Logics in Weighted Structures
Concurrent temporal logic
Quantales and Temporal Logics
Quantales and temporal logics
Output space compaction for testing and concurrent checking
Output space compaction for testing and concurrent checking
Infinite state model checking of propositional dynamic logics
Logics on data words : Expressivity, satisfiability, model checking
Satisfiability and model checking in team based logics
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Quantitative Temporal Logics : PSpace and below
Probabilistic Model Checking for Temporal Logics in Weighted Structures
Concurrent temporal logic
Quantales and Temporal Logics
Quantales and temporal logics
Output space compaction for testing and concurrent checking
Output space compaction for testing and concurrent checking
Infinite state model checking of propositional dynamic logics
Logics on data words : Expressivity, satisfiability, model checking
Satisfiability and model checking in team based logics
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking