TY  - RPRT
TI  - Network-wide Configuration Synthesis
AU  - Ahmed El-Hassany
AU  - Petar Tsankov
AU  - Laurent Vanbever
AU  - Martin Vechev
PY  - 2017
UR  - https://arxiv.org/abs/1611.02537
ID  - 1611.02537
ER  -