Co-Design and Verification of an Available File System
Informazioni aggiuntive
Autori
Najafzadeh M.,
Shapiro M.,
Eugster P. T.
Tipo
Contributo in libro
Anno
2017
Lingua
Inglese
Libro
Lecture Notes in Computer Science
Editore
Springer International Publishing
Pagine (o numero dell’articolo)
358-381
ISBN
9783319737201, 9783319737218
ISSN
0302-9743, 1611-3349
Diffusione
Licenza
Licenza non definita
Visibilità
Privato
