%0 Conference Paper %1 conf/nsdi/MusuvathiE04 %A Musuvathi, Madanlal %A Engler, Dawson R. %B NSDI %D 2004 %E Morris, Robert Tappan %E Savage, Stefan %I USENIX %K dblp %P 155-168 %T Model Checking Large Network Protocol Implementations. %U http://dblp.uni-trier.de/db/conf/nsdi/nsdi2004.html#MusuvathiE04

@inproceedings{conf/nsdi/MusuvathiE04, added-at = {2021-02-02T00:00:00.000+0100}, author = {Musuvathi, Madanlal and Engler, Dawson R.}, biburl = {https://www.bibsonomy.org/bibtex/2e811a77db2d199f836c83718b14a64db/dblp}, booktitle = {NSDI}, crossref = {conf/nsdi/2004}, editor = {Morris, Robert Tappan and Savage, Stefan}, ee = {http://www.usenix.org/events/nsdi04/tech/musuvathi.html}, interhash = {04ae7a0aa623d030efca1d4ec759f454}, intrahash = {e811a77db2d199f836c83718b14a64db}, keywords = {dblp}, pages = {155-168}, publisher = {USENIX}, timestamp = {2024-04-10T18:34:19.000+0200}, title = {Model Checking Large Network Protocol Implementations.}, url = {http://dblp.uni-trier.de/db/conf/nsdi/nsdi2004.html#MusuvathiE04}, year = 2004 }