@inproceedings {270034,
	author = {Madanlal Musuvathi and Dawson R. Engler},
	title = {Model Checking Large Network Protocol Implementations},
	booktitle = {First Symposium on Networked Systems Design and Implementation (NSDI 04)},
	year = {2004},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/nsdi-04/model-checking-large-network-protocol-implementations},
	publisher = {USENIX Association},
	month = mar
}
