TY  - RPRT
TI  - Efficient Synthesis of Network Updates
AU  - Jedidiah McClurg
AU  - Hossein Hojjat
AU  - Pavol Cerny
AU  - Nate Foster
PY  - 2015
DO  - 10.1145/2737924.2737980
UR  - https://arxiv.org/abs/1403.5843
ID  - 1403.5843
ER  -