baijia - papers and notes

Yang, J., Twohey, P., Engler, D., and Musuvathi, M. 2004. Using model checking to find serious file system errors. In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation - Volume 6 (San Francisco, CA, December 06 - 08, 2004). Operating Systems Design and Implementation. USENIX Association, Berkeley, CA, 19-19. (PDF: http://www.usenix.org/events/osdi04/tech/yang/yang.pdf )

* * *
* * *

@inproceedings{1251273,
author = {Yang, Junfeng and Twohey, Paul and Engler, Dawson and Musuvathi, Madanlal},
title = {Using model checking to find serious file system errors},
booktitle = {OSDI'04: Proceedings of the 6th conference on Symposium on Opearting Systems Design \& Implementation},
year = {2004},
pages = {19--19},
location = {San Francisco, CA},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}