Konferenzschrift | Kongress
Computer aided verification : 6th international workshop ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540581796
3540581790
9780387581798
0387581790
- Dimensions
-
24 cm
- Extent
-
IX, 480 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 818
- Keyword
-
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1994
- Contributor
-
Dill, David L.
CAV (6 : 1994 : Stanford, Calif.)
- 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:05 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
- Konferenzschrift
- Kongress
Associated
- Dill, David L.
- CAV (6 : 1994 : Stanford, Calif.)
- Springer
Time of origin
- 1994
Other Objects (12)
Computer aided verification : 3rd international workshop ; proceedings
Computer aided verification : fourth international workshop ; proceedings
Proceedings of the 6th International Workshop on Systems Software Verification
Computer aided verification : 21st international conference ; proceedings
Computer aided verification : 13th international conference ; proceedings
Computer aided verification : 10th international conference ; proceedings
Computer aided verification : 23rd international conference ; proceedings
Computer aided verification : 11th international conference ; proceedings
Computer aided verification : 7th international conference ; proceedings
Computer aided verification : 22nd international conference ; proceedings
Computer aided verification : 25th international conference ; proceedings
Computer aided verification : 15th international conference ; proceedings
Computer aided verification : 3rd international workshop ; proceedings
Computer aided verification : fourth international workshop ; proceedings
Proceedings of the 6th International Workshop on Systems Software Verification
Computer aided verification : 21st international conference ; proceedings
Computer aided verification : 13th international conference ; proceedings
Computer aided verification : 10th international conference ; proceedings
Computer aided verification : 23rd international conference ; proceedings
Computer aided verification : 11th international conference ; proceedings
Computer aided verification : 7th international conference ; proceedings
Computer aided verification : 22nd international conference ; proceedings
Computer aided verification : 25th international conference ; proceedings
Computer aided verification : 15th international conference ; proceedings
Computer aided verification : 3rd international workshop ; proceedings
Computer aided verification : fourth international workshop ; proceedings
Proceedings of the 6th International Workshop on Systems Software Verification
Computer aided verification : 21st international conference ; proceedings
Computer aided verification : 13th international conference ; proceedings
Computer aided verification : 10th international conference ; proceedings
Computer aided verification : 23rd international conference ; proceedings
Computer aided verification : 11th international conference ; proceedings
Computer aided verification : 7th international conference ; proceedings
Computer aided verification : 22nd international conference ; proceedings
Computer aided verification : 25th international conference ; proceedings