@InProceedings{fisc:osdi,
        author = "Junfeng Yang and Paul Twohey and Dawson Engler and Madanlal Musuvathi",
         title = "{Using Model Checking to Find Serious File System Errors}",
     booktitle = "Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI '04)",
          year = "2004",
         month = "December",
       address = "San Francisco, CA",
}

