Equivalence and its applications to network verification.
Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
VenueA*SIGCOMM
Year2018
ProceedingsSIGCOMM Posters and Demos
DBLP recordconf/sigcomm/DumitrescuSPNR18 ↗
Browse the full SIGCOMM paper archive.