TY  - RPRT
TI  - Toward Synthesis of Network Updates
AU  - Andrew Noyes
AU  - Todd Warszawski
AU  - Pavol Černý
AU  - Nate Foster
PY  - 2014
DO  - 10.4204/eptcs.142.8
UR  - https://arxiv.org/abs/1403.7840
ID  - 1403.7840
ER  -