- Artículo:
Using Model Checking To Find Serious File System Errors
- Autor:
Junfeng Yang
Paul Twohey
Dawson Engler
Madanlal Musuvathi
- Página:
393
- Publicación:
ACM Transactions on Computer Systems
- Volúmen:
24
- Número:
4
- Periodo:
November 2006
- ISSN:
07342071
- SrcID:
07342071-2006-04.txt
- Documento número 536433
- Actualizado el martes, 10 de julio de 2018 10:13:22 a. m.
- Creado el martes, 10 de julio de 2018 10:13:22 a. m.
- Enlace directo
