TY  - RPRT
TI  - Verifying Reachability in Networks with Mutable Datapaths
AU  - Aurojit Panda
AU  - Ori Lahav
AU  - Katerina Argyraki
AU  - Mooly Sagiv
AU  - Scott Shenker
PY  - 2016
UR  - https://arxiv.org/abs/1607.00991
ID  - 1607.00991
ER  -