Co-Design and Verification of an Available File System
Additional information
Authors
Najafzadeh M.,
Shapiro M.,
Eugster P. T.
Type
Book chapter
Year
2017
Language
English
Book
Lecture Notes in Computer Science
Publisher
Springer International Publishing
Pages (or article number)
358-381
ISBN
9783319737201, 9783319737218
ISSN
0302-9743, 1611-3349
Diffusion
License
License undefined
Visibility
Private
