- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Lecture Notes in Computer Science, 12071, S. 6-23
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2020
- Event
-
Veröffentlichung
- (where)
-
Cham
- (who)
-
Springer Nature
- (when)
-
2020
- Creator
- DOI
-
10.1007/978-3-030-48077-6_2
- URN
-
urn:nbn:de:bvb:384-opus4-796918
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:24 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
- Schellhorn, Gerhard
- Bodenmüller, Stefan
- Pfähler, Jörg
- Reif, Wolfgang
- Universität Augsburg
- Springer Nature
Time of origin
- 2020
Other Objects (12)
Modular integration of crashsafe caching into a verified virtual file system switch
Korrektheit von Spezifikationen und generischen Moduln
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Flashix: modular verification of a concurrent and crash-safe flash file system
Software & system verification with KIV
Qualitative and quantitative analysis of safety-critical systems with S#
Communications biology
npj climate and atmospheric science
Nature sustainability
npj urban sustainability
Advanced fiber materials
npj science of food : a natureresearch journal
Modular integration of crashsafe caching into a verified virtual file system switch
Korrektheit von Spezifikationen und generischen Moduln
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Flashix: modular verification of a concurrent and crash-safe flash file system
Software & system verification with KIV
Qualitative and quantitative analysis of safety-critical systems with S#
Communications biology
npj climate and atmospheric science
Nature sustainability
npj urban sustainability
Advanced fiber materials
npj science of food : a natureresearch journal
Modular integration of crashsafe caching into a verified virtual file system switch
Korrektheit von Spezifikationen und generischen Moduln
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Flashix: modular verification of a concurrent and crash-safe flash file system
Software & system verification with KIV
Qualitative and quantitative analysis of safety-critical systems with S#
Communications biology
npj climate and atmospheric science
Nature sustainability
npj urban sustainability
Advanced fiber materials