Hochschulschrift
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Technische Universität Dresden, Diss., 2012
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden, Dresden
- (wer)
-
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, Technische Universität Dresden
- (wann)
-
2012
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bsz:14-qucosa-86211
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 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
- Klüppelholz, Sascha
- Baier, Christel
- Arbab, Farhad
- Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, Technische Universität Dresden
Entstanden
- 2012
Ähnliche Objekte (12)
Verification of branching-time and alternating-time properties for exogenous coordination models
Symbolic verification of computational security for branching-time properties.
On probabilistic time versus alternating time
The linear time - branching time spectrum
Hybrid Branching-Time Logics
A Game for Linear-time–Branching-time Spectroscopy
A linear-time branching-time perspective on interface automata
A linear-time branching-time perspective on interface automata
Branching Space-Times : Theory and Applications
Algorithmische Eigenschaften von Branching-Time-Logiken
New Foundations for Branching Space-Times
Real-time language recognition by alternating cellular automata
Verification of branching-time and alternating-time properties for exogenous coordination models
Symbolic verification of computational security for branching-time properties.
On probabilistic time versus alternating time
The linear time - branching time spectrum
Hybrid Branching-Time Logics
A Game for Linear-time–Branching-time Spectroscopy
A linear-time branching-time perspective on interface automata
A linear-time branching-time perspective on interface automata
Branching Space-Times : Theory and Applications
Algorithmische Eigenschaften von Branching-Time-Logiken
New Foundations for Branching Space-Times
Real-time language recognition by alternating cellular automata
Verification of branching-time and alternating-time properties for exogenous coordination models
Symbolic verification of computational security for branching-time properties.
On probabilistic time versus alternating time
The linear time - branching time spectrum
Hybrid Branching-Time Logics
A Game for Linear-time–Branching-time Spectroscopy
A linear-time branching-time perspective on interface automata
A linear-time branching-time perspective on interface automata
Branching Space-Times : Theory and Applications
Algorithmische Eigenschaften von Branching-Time-Logiken
New Foundations for Branching Space-Times