@inproceedings {267763,
	author = {Junfeng Yang and Tisheng Chen and Ming Wu and Zhilei Xu and Xuezheng Liu and Haoxiang Lin and Mao Yang and Fan Long and Lintao Zhang and Lidong Zhou},
	title = {{MODIST}: Transparent Model Checking of Unmodified Distributed Systems},
	booktitle = {6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09)},
	year = {2009},
	address = {Boston, MA },
	url = {https://www.usenix.org/conference/nsdi-09/modist-transparent-model-checking-unmodified-distributed-systems},
	publisher = {USENIX Association},
	month = apr
}
