|
@inproceedings{, author = {Ahmed El-Hassany and Petar Tsankov and Laurent Vanbever and Martin Vechev}, title = {Network-wide Configuration Synthesis}, address = {Heidelberg, Germany}, booktitle = {Computer Aided Verification}, publisher = {Springer}, month = {Jul}, year = {2017} }