TY  - RPRT
TI  - Probabilistic Program Equivalence for NetKAT
AU  - Steffen Smolka
AU  - Praveen Kumar
AU  - Nate Foster
AU  - Justin Hsu
AU  - David Kahn
AU  - Dexter Kozen
AU  - Alexandra Silva
PY  - 2018
UR  - https://arxiv.org/abs/1707.02772
ID  - 1707.02772
ER  -