|
@inproceedings{, author = {Ahmed El-Hassany and Petar Tsankov and Laurent Vanbever and Martin Vechev}, title = {NetComplete: Practical Network Wide Configuration Synthesis with Autocompletion}, address = {RENTON, WA, USA}, booktitle = {Proceedings 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)}, publisher = {USNIX}, month = {Apr}, year = {2018} }