- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Konstanz, Univ., Diss., 2009
- Classification
-
Informatik
- Keyword
-
Model Checking ; Heuristik ; Gegenbeispiel ; Visualisierung ; Suchverfahren
- Creator
-
Aljazzar, Husain
- URN
-
urn:nbn:de:bsz:352-opus-91885
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:48 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
Associated
- Aljazzar, Husain
Other Objects (12)
DNA polymerase activity on solid support : from diagnostics to directed enzyme evolution
Current technologies for RNA-directed liquid diagnostics
Directed model checking for timed automata
Directed chaos in magnetic billiard systems
Multiscale model diagnostics
Transition-based directed model checking : = Transitionsbasierte gerichtete Modellprüfung
Directed and Distributed Model Checking of B-Specifications
Laser diagnostics applied to practical combustion and flow systems
A highly scalable system for genome based computational microbial diagnostics
A highly scalable system for genome based computational microbial diagnostics
Combining smart model diagnostics and effective data collection for snow catchments
Directed evolutionary algorithms
DNA polymerase activity on solid support : from diagnostics to directed enzyme evolution
Current technologies for RNA-directed liquid diagnostics
Directed model checking for timed automata
Directed chaos in magnetic billiard systems
Multiscale model diagnostics
Transition-based directed model checking : = Transitionsbasierte gerichtete Modellprüfung
Directed and Distributed Model Checking of B-Specifications
Laser diagnostics applied to practical combustion and flow systems
A highly scalable system for genome based computational microbial diagnostics
A highly scalable system for genome based computational microbial diagnostics
Combining smart model diagnostics and effective data collection for snow catchments
Directed evolutionary algorithms
DNA polymerase activity on solid support : from diagnostics to directed enzyme evolution
Current technologies for RNA-directed liquid diagnostics
Directed model checking for timed automata
Directed chaos in magnetic billiard systems
Multiscale model diagnostics
Transition-based directed model checking : = Transitionsbasierte gerichtete Modellprüfung
Directed and Distributed Model Checking of B-Specifications
Laser diagnostics applied to practical combustion and flow systems
A highly scalable system for genome based computational microbial diagnostics
A highly scalable system for genome based computational microbial diagnostics
Combining smart model diagnostics and effective data collection for snow catchments