%0 Conference Paper %1 Beckett2014_4 %A Beckett, Ryan %A Zou, Xuan Kelvin %A Zhang, Shuyuan %A Malik, Sharad %A Rexford, Jennifer %A Walker, David %B Proceedings of the Third Workshop on Hot Topics in Software Defined Networking %C New York, NY, USA %D 2014 %I ACM %K defined firewall incremental network, software stateful verification, %P 91--96 %R 10.1145/2620728.2620743 %T An Assertion Language for Debugging SDN Applications %@ 978-1-4503-2989-7

@inproceedings{Beckett2014_4, acmid = {2620743}, added-at = {2014-12-10T16:12:02.000+0100}, address = {New York, NY, USA}, author = {Beckett, Ryan and Zou, Xuan Kelvin and Zhang, Shuyuan and Malik, Sharad and Rexford, Jennifer and Walker, David}, biburl = {https://www.bibsonomy.org/bibtex/2f2eee17af4bab4629f75d921c06c544c/chesteve}, booktitle = {Proceedings of the Third Workshop on Hot Topics in Software Defined Networking}, doi = {10.1145/2620728.2620743}, interhash = {c591d9ca1b20f26864da080414626ff0}, intrahash = {f2eee17af4bab4629f75d921c06c544c}, isbn = {978-1-4503-2989-7}, keywords = {defined firewall incremental network, software stateful verification,}, location = {Chicago, Illinois, USA}, numpages = {6}, pages = {91--96}, publisher = {ACM}, series = {HotSDN '14}, timestamp = {2014-12-10T16:12:02.000+0100}, title = {An Assertion Language for Debugging {SDN} Applications}, xxurl = {http://doi.acm.org/10.1145/2620728.2620743}, year = 2014 }