Konferenzschrift | Kongress
Theoretical and practical aspects of SPIN model checking : proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540664994
3540664998
- Dimensions
-
24 cm
- Extent
-
X, 276 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1680
- Keyword
-
Model Checking
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1999
- Contributor
-
Dams, Dennis
International SPIN Workshops (5 : 1999 - 6, 1999)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:45 AM 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
- Konferenzschrift
- Kongress
Associated
- Dams, Dennis
- International SPIN Workshops (5 : 1999 - 6, 1999)
- Springer
Time of origin
- 1999
Other Objects (12)
Proof interpretations: theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Theoretical and practical aspects of algorithmic trading
Projection-based strictness analysis : theoretical and practical aspects
Theoretical and practical aspects of penalized spline smoothing
Theoretical and practical aspects of penalized spline smoothing
Split liver transplantation : theoretical and practical aspects ; with 20 tables
Theoretical and practical aspects of high-rate GNSS geodetic observations
Complex single machine scheduling : theoretical and practical aspects of sequencing
Investigating graph theoretical modelling aspects coming from practical optimization problems
Inflation targeting in the United Kingdom : theoretical and practical aspects
Proof interpretations: theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Theoretical and practical aspects of algorithmic trading
Projection-based strictness analysis : theoretical and practical aspects
Theoretical and practical aspects of penalized spline smoothing
Theoretical and practical aspects of penalized spline smoothing
Split liver transplantation : theoretical and practical aspects ; with 20 tables
Theoretical and practical aspects of high-rate GNSS geodetic observations
Complex single machine scheduling : theoretical and practical aspects of sequencing
Investigating graph theoretical modelling aspects coming from practical optimization problems
Inflation targeting in the United Kingdom : theoretical and practical aspects
Proof interpretations: theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Numerical optimization : theoretical and practical aspects
Theoretical and practical aspects of algorithmic trading
Projection-based strictness analysis : theoretical and practical aspects
Theoretical and practical aspects of penalized spline smoothing
Theoretical and practical aspects of penalized spline smoothing
Split liver transplantation : theoretical and practical aspects ; with 20 tables
Theoretical and practical aspects of high-rate GNSS geodetic observations
Complex single machine scheduling : theoretical and practical aspects of sequencing
Investigating graph theoretical modelling aspects coming from practical optimization problems