TY  - RPRT
TI  - A Fast Compiler for NetKAT
AU  - Steffen Smolka
AU  - Spiridon Eliopoulos
AU  - Nate Foster
AU  - Arjun Guha
PY  - 2015
DO  - 10.1145/2784731.2784761
UR  - https://arxiv.org/abs/1506.06378
ID  - 1506.06378
ER  -