@inproceedings {180298,
	author = {Peyman Kazemian and Michael Chang and Hongyi Zeng and George Varghese and Nick McKeown and Scott Whyte},
	title = {Real Time Network Policy Checking Using Header Space Analysis},
	booktitle = {10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)},
	year = {2013},
	isbn = {978-1-931971-00-3},
	address = {Lombard, IL},
	pages = {99--111},
	url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/kazemian},
	publisher = {USENIX Association},
	month = apr
}
