Timothy Nelson, Andrew D. Ferguson, Michael J. G. Scheer, Shriram Krishnamurthi. Tierless Programming and Reasoning for Software-Defined Networks. In Ratul Mahajan, Ion Stoica, editors, Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2014, Seattle, WA, USA, April 2-4, 2014. pages 519-531, USENIX Association, 2014. [doi]
@inproceedings{NelsonFSK14, title = {Tierless Programming and Reasoning for Software-Defined Networks}, author = {Timothy Nelson and Andrew D. Ferguson and Michael J. G. Scheer and Shriram Krishnamurthi}, year = {2014}, url = {https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/nelson}, researchr = {https://researchr.org/publication/NelsonFSK14}, cites = {0}, citedby = {0}, pages = {519-531}, booktitle = {Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2014, Seattle, WA, USA, April 2-4, 2014}, editor = {Ratul Mahajan and Ion Stoica}, publisher = {USENIX Association}, isbn = {978-1-931971-09-6}, }