- 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 4820
- Actualizado el martes, 23 de mayo de 2017 03:28:16 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:16 p. m.
- Enlace directo
