TY  - RPRT
TI  - Forwarding Tables Verification through Representative Header Sets
AU  - Yacine Boufkhad
AU  - Ricardo De La Paz
AU  - Leonardo Linguaglossa
AU  - Fabien Mathieu
AU  - Diego Perino
AU  - Laurent Viennot
PY  - 2016
UR  - https://arxiv.org/abs/1601.07002
ID  - 1601.07002
ER  -