%0 Journal Article %1 journals/tocs/YangTEM06 %A Yang, Junfeng %A Twohey, Paul %A Engler, Dawson R. %A Musuvathi, Madanlal %D 2006 %J ACM Trans. Comput. Syst. %K dblp %N 4 %P 393-423 %T Using model checking to find serious file system errors. %U http://dblp.uni-trier.de/db/journals/tocs/tocs24.html#YangTEM06 %V 24

@article{journals/tocs/YangTEM06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Yang, Junfeng and Twohey, Paul and Engler, Dawson R. and Musuvathi, Madanlal}, biburl = {https://www.bibsonomy.org/bibtex/2b1bee6442363e9bfa7431439918666c5/dblp}, ee = {https://doi.org/10.1145/1189256.1189259}, interhash = {44eca6bef4f729e7fe03f2f5a48c9e3f}, intrahash = {b1bee6442363e9bfa7431439918666c5}, journal = {ACM Trans. Comput. Syst.}, keywords = {dblp}, number = 4, pages = {393-423}, timestamp = {2018-11-07T12:22:01.000+0100}, title = {Using model checking to find serious file system errors.}, url = {http://dblp.uni-trier.de/db/journals/tocs/tocs24.html#YangTEM06}, volume = 24, year = 2006 }