YangTEM04'

BibTeX

@inproceedings{DBLP:conf/osdi/YangTEM04,
  author    = {Junfeng Yang and
               Paul Twohey and
               Dawson R. Engler and
               Madanlal Musuvathi},
  title     = {Using Model Checking to Find Serious File System Errors
               (Awarded Best Paper!)},
  booktitle = {OSDI},
  year      = {2004},
  pages     = {273-288},
  ee        = {http://www.usenix.org/events/osdi04/tech/yang.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}