@misc{indiciae417caa507870,
  title = {Forwarding Tables Verification through Representative Header Sets},
  author = {Yacine Boufkhad and Ricardo De La Paz and Leonardo Linguaglossa and Fabien Mathieu and Diego Perino and Laurent Viennot},
  year = {2016},
  url = {https://arxiv.org/abs/1601.07002},
  note = {Source identifier: 1601.07002}
}