Konferenzschrift
Proceedings of the 6th International Workshop on Systems Software Verification
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
95 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Technische Berichte / Technische Universität Dresden ; 2011,02
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
TU, Fak. Informatik
- (when)
-
2011
- Contributor
-
Brauer, Jörg
International Workshop on Systems Software Verification (6 : 2011 : Nimwegen)
- 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, 1:37 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
Associated
- Brauer, Jörg
- International Workshop on Systems Software Verification (6 : 2011 : Nimwegen)
- TU, Fak. Informatik
Time of origin
- 2011
Other Objects (12)
Computer aided verification : 6th international workshop ; proceedings
6th International Workshop on Systems Software Verification (SSV 2011)
Software process technology : 6th European workshop ; proceedings
Fast software encryption : 6th international workshop ; proceedings
Experimental algorithms : 6th international workshop ; proceedings
Hybrid metaheuristics : 6th international workshop ; proceedings
Learning robots : 6th European workshop ; proceedings
Digital watermarking : 6th international workshop ; proceedings
Reachability problems : 6th international workshop ; proceedings
Distributed algorithms : 6th international workshop ; proceedings
Database programming languages : 6th international workshop ; proceedings
Algorithms and computation : 6th international workshop ; proceedings
Computer aided verification : 6th international workshop ; proceedings
6th International Workshop on Systems Software Verification (SSV 2011)
Software process technology : 6th European workshop ; proceedings
Fast software encryption : 6th international workshop ; proceedings
Experimental algorithms : 6th international workshop ; proceedings
Hybrid metaheuristics : 6th international workshop ; proceedings
Learning robots : 6th European workshop ; proceedings
Digital watermarking : 6th international workshop ; proceedings
Reachability problems : 6th international workshop ; proceedings
Distributed algorithms : 6th international workshop ; proceedings
Database programming languages : 6th international workshop ; proceedings
Algorithms and computation : 6th international workshop ; proceedings
Computer aided verification : 6th international workshop ; proceedings
6th International Workshop on Systems Software Verification (SSV 2011)
Software process technology : 6th European workshop ; proceedings
Fast software encryption : 6th international workshop ; proceedings
Experimental algorithms : 6th international workshop ; proceedings
Hybrid metaheuristics : 6th international workshop ; proceedings
Learning robots : 6th European workshop ; proceedings
Digital watermarking : 6th international workshop ; proceedings
Reachability problems : 6th international workshop ; proceedings
Distributed algorithms : 6th international workshop ; proceedings
Database programming languages : 6th international workshop ; proceedings