@article {14291,
	title = {Rule-based static analysis of network protocol implementations},
	journal = {Information and Computation},
	volume = {206},
	year = {2008},
	month = {2008///},
	pages = {130 - 157},
	author = {Udrea,O. and Lumezanu,C. and Foster, Jeffrey S.}
}
