%0 Conference Paper %1 nelson2014 %A Nelson, Tim %A Ferguson, Andrew D. %A Scheer, Michael J.G. %A Krishnamurthi, Shriram %B 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14) %C Seattle, WA %D 2014 %I USENIX Association %K imported %P 519--531 %T Tierless Programming and Reasoning for Software-Defined Networks %@ 978-1-931971-09-6

@inproceedings{nelson2014, added-at = {2014-12-10T16:12:02.000+0100}, address = {Seattle, WA}, author = {Nelson, Tim and Ferguson, Andrew D. and Scheer, Michael J.G. and Krishnamurthi, Shriram}, biburl = {https://www.bibsonomy.org/bibtex/2ad60e9561c3e9a12aba2ca8813276c85/chesteve}, booktitle = {11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14)}, interhash = {81873430730ac2c89b5a0a995932b546}, intrahash = {ad60e9561c3e9a12aba2ca8813276c85}, isbn = {978-1-931971-09-6}, keywords = {imported}, month = apr, pages = {519--531}, publisher = {USENIX Association}, timestamp = {2014-12-10T16:12:02.000+0100}, title = {{Tierless Programming and Reasoning for Software-Defined Networks}}, xurl = {https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/nelson}, year = 2014 }