- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
Berlin, Humboldt-Univ., Habil.-Schr., 2002
- Keyword
-
Diskretes System
Verifikation
Zustandsraum
Graphersetzungssystem
Temporale Logik
Model Checking
- Creator
- URN
-
urn:nbn:de:kobv:11-10024316
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
30.04.0025, 2:05 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Explicit state space verification
Algorithmic techniques in verification by explicit state enumeration
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Verification of nonclassicality in phase space
Abstract state machines : verification problems and complexity
Automatic verification of sequential infinite state processes
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and complexity
Verification of infinite-state graph transformation systems via abstraction
Supporting Validation and Verification of State-Based Formal Models
Explicit state space verification
Algorithmic techniques in verification by explicit state enumeration
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Verification of nonclassicality in phase space
Abstract state machines : verification problems and complexity
Automatic verification of sequential infinite state processes
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and complexity
Verification of infinite-state graph transformation systems via abstraction
Supporting Validation and Verification of State-Based Formal Models
Explicit state space verification
Algorithmic techniques in verification by explicit state enumeration
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Verification of nonclassicality in phase space
Abstract state machines : verification problems and complexity
Automatic verification of sequential infinite state processes
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and complexity
Verification of infinite-state graph transformation systems via abstraction