- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Electronic Communications of the EASST, 66, S.
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2013
- Creator
- DOI
-
10.14279/tuj.eceasst.66.885
- URN
-
urn:nbn:de:bvb:384-opus4-539481
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 11:03 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.
Associated
- Tofan, Bogdan
- Schellhorn, Gerhard
- Ernst, Gidon
- Pfähler, Jörg
- Reif, Wolfgang
- Universität Augsburg
Time of origin
- 2013
Other Objects (12)
Compositional Concurrent Program Verification with RGITL
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Korrektheit von Spezifikationen und generischen Moduln
Interactive Verification of Concurrent Systems using Symbolic Execution
Theorems from compiler verification: a problem set for automated theorem provers
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
FM tools 2000: the 4th Workshop on Tools for System Design and Verification
Verifying a Stack with Hazard Pointers in Temporal Logic
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
Compositional Concurrent Program Verification with RGITL
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Korrektheit von Spezifikationen und generischen Moduln
Interactive Verification of Concurrent Systems using Symbolic Execution
Theorems from compiler verification: a problem set for automated theorem provers
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
FM tools 2000: the 4th Workshop on Tools for System Design and Verification
Verifying a Stack with Hazard Pointers in Temporal Logic
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
Compositional Concurrent Program Verification with RGITL
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Korrektheit von Spezifikationen und generischen Moduln
Interactive Verification of Concurrent Systems using Symbolic Execution
Theorems from compiler verification: a problem set for automated theorem provers
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
FM tools 2000: the 4th Workshop on Tools for System Design and Verification
Verifying a Stack with Hazard Pointers in Temporal Logic
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst