@inproceedings{conf/sigcomm/BishopFNSSW05,
	title = {Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.},
	author = {Steve Bishop and Matthew Fairbairn and Michael Norrish and Peter Sewell and Michael Smith and Keith Wansbrough},
	booktitle = {SIGCOMM},
	crossref = {conf/sigcomm/2005},
	editor = {Roch Guérin and Ramesh Govindan and Greg Minshall},
	pages = {265-276},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/sigcomm/sigcomm2005.html#BishopFNSSW05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2f782b263038c2d7dd8f5304ddcbde1b2/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1080091.1080123}, isbn = {1-59593-009-4}, date = {2006-06-02},
	keywords = {dblp }
}