Hochschulschrift | Online-Publikation
Abstract state machines : verification problems and complexity
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
Aachen, Techn. Hochsch., Diss., 2000
- Keyword
-
Abstrakte Zustandsmaschine
Verifikation
Abstrakte Zustandsmaschine
Komplexitätsklasse
- Creator
- URN
-
urn:nbn:de:hbz:82-opus-964urn:nbn:de:hbz:82-20010081
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:38 AM CEST
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
- Online-Publikation
Associated
Other Objects (12)
Abstract state machines : verification problems and complexity
Model checking abstract state machines
Model-checking problems, machines and parameterized complexity
Verification of abstract state machines
Semantics-directed generation of compilers and abstract machines
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and computational power
Visual complexity and intelligent computer graphics techniques enhancements
Verified Java bytecode verification
Complexity and partitions
Computational complexity : CC
Active learning with kernel machines
Abstract state machines : verification problems and complexity
Model checking abstract state machines
Model-checking problems, machines and parameterized complexity
Verification of abstract state machines
Semantics-directed generation of compilers and abstract machines
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and computational power
Visual complexity and intelligent computer graphics techniques enhancements
Verified Java bytecode verification
Complexity and partitions
Computational complexity : CC
Active learning with kernel machines
Abstract state machines : verification problems and complexity
Model checking abstract state machines
Model-checking problems, machines and parameterized complexity
Verification of abstract state machines
Semantics-directed generation of compilers and abstract machines
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and computational power
Visual complexity and intelligent computer graphics techniques enhancements
Verified Java bytecode verification
Complexity and partitions
Computational complexity : CC