@inproceedings{wu-2013-negative-provenance, author = {Yang Wu and Andreas Haeberlen and Wenchao Zhou and Boon Thau Loo}, title = {Answering Why-Not Queries in Software-Defined Networks with Negative Provenance}, booktitle = {Proceedings of the 12th ACM Workshop on Hot Topics in Networks (HotNets-XII)}, location = {College Park, MD}, month = nov, year = 2013 }