Hochschulschrift
A uniform constraint-based framework for the verification of infinite state systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
XVIII, 160 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Saarbrücken, Univ., Diss., 2001
- Keyword
-
Unendlicher Zustandsraum
Verifikation
Computerunterstütztes Verfahren
Constraint-Erfüllung
Unendlicher Zustandsraum ; Verifikation ; Computerunterstütztes Verfahren ; Constraint-Erfüllung
- Creator
-
Mukhopadhyay, Supratik
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:25 PM 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
- Mukhopadhyay, Supratik
Other Objects (12)
A uniform constraint-based framework for the verification of infinite state systems
Constraint-based abstraction of a model checker for infinite state systems
Germanic syntax : a constraint-based view
Human computation for constraint-based recommenders
Germanic syntax : A constraint-based view
Constraint-based Analysis of Distributed Systems
Constraint-based graphical layout of multimodal presentations
sybil – Efficient constraint-based modelling in R
COBRA: A Constraint-Based Awareness Management Framework
Constraint-based bare-hand immersive 3D modelling
Qualitative constraint-based reasoning: methods and applications
Interactive, Constraint-based Layout of Engineering Diagrams
A uniform constraint-based framework for the verification of infinite state systems
Constraint-based abstraction of a model checker for infinite state systems
Germanic syntax : a constraint-based view
Human computation for constraint-based recommenders
Germanic syntax : A constraint-based view
Constraint-based Analysis of Distributed Systems
Constraint-based graphical layout of multimodal presentations
sybil – Efficient constraint-based modelling in R
COBRA: A Constraint-Based Awareness Management Framework
Constraint-based bare-hand immersive 3D modelling
Qualitative constraint-based reasoning: methods and applications
Interactive, Constraint-based Layout of Engineering Diagrams
A uniform constraint-based framework for the verification of infinite state systems
Constraint-based abstraction of a model checker for infinite state systems
Germanic syntax : a constraint-based view
Human computation for constraint-based recommenders
Germanic syntax : A constraint-based view
Constraint-based Analysis of Distributed Systems
Constraint-based graphical layout of multimodal presentations
sybil – Efficient constraint-based modelling in R
COBRA: A Constraint-Based Awareness Management Framework
Constraint-based bare-hand immersive 3D modelling
Qualitative constraint-based reasoning: methods and applications