%0 Conference Paper %1 katta2012 %A Katta, Naga Praveen %A Rexford, Jennifer %A Walker, David %B Workshop on Cross-Model Design and Validation (XLDI) %D 2012 %K imported %P 1-3 %T Logic programming for software-defined networks %U https://www.cs.princeton.edu/~dpw/papers/xldi-2012.pdf

@inproceedings{katta2012, added-at = {2014-12-10T16:12:02.000+0100}, author = {Katta, Naga Praveen and Rexford, Jennifer and Walker, David}, biburl = {https://www.bibsonomy.org/bibtex/2e0b7bd560fdfbed6c6dd1e8f4ebca18d/chesteve}, booktitle = {Workshop on Cross-Model Design and Validation (XLDI)}, interhash = {a810bae81c2ad71bd43217a065f6befb}, intrahash = {e0b7bd560fdfbed6c6dd1e8f4ebca18d}, keywords = {imported}, pages = {1-3}, timestamp = {2014-12-10T16:12:02.000+0100}, title = {Logic programming for software-defined networks}, url = {https://www.cs.princeton.edu/~dpw/papers/xldi-2012.pdf}, year = 2012 }