Model Checking Large Network Protocol Implementations
Musuvathi, Madanlal, and Dawson R. Engler. 2004. “Model Checking Large Network Protocol Implementations.” In Proceedings of the USENIX Symposium on Networked Systems Design and Implementation, 155–168.
BibTeX
@inproceedings{musuvathiModelCheckingLarge2004,
title = {Model {{Checking Large Network Protocol Implementations}}},
booktitle = {Proceedings of the {{USENIX Symposium}} on {{Networked Systems Design}} and {{Implementation}}},
author = {Musuvathi, Madanlal and Engler, Dawson R.},
year = 2004,
pages = {155--168}
}