%0 Conference Paper %1 conf/popl/PadonIKLSS15 %A Padon, Oded %A Immerman, Neil %A Karbyshev, Aleksandr %A Lahav, Ori %A Sagiv, Mooly %A Shoham, Sharon %B POPL %D 2015 %E Rajamani, Sriram K. %E Walker, David %I ACM %K %P 663-676 %T Decentralizing SDN Policies. %U http://dblp.uni-trier.de/db/conf/popl/popl2015.html#PadonIKLSS15 %@ 978-1-4503-3300-9

@inproceedings{conf/popl/PadonIKLSS15, added-at = {2023-12-13T08:29:44.000+0100}, author = {Padon, Oded and Immerman, Neil and Karbyshev, Aleksandr and Lahav, Ori and Sagiv, Mooly and Shoham, Sharon}, biburl = {https://www.bibsonomy.org/bibtex/213bd12196143d2ddcacf68f1fb7c5381/admin}, booktitle = {POPL}, crossref = {conf/popl/2015}, editor = {Rajamani, Sriram K. and Walker, David}, ee = {https://doi.org/10.1145/2676726.2676990}, interhash = {c441706849f373d96986a00db901a5a9}, intrahash = {13bd12196143d2ddcacf68f1fb7c5381}, isbn = {978-1-4503-3300-9}, keywords = {}, pages = {663-676}, publisher = {ACM}, timestamp = {2023-12-13T08:29:44.000+0100}, title = {Decentralizing SDN Policies.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2015.html#PadonIKLSS15}, year = 2015 }