TY - RPRT TI - VeriTable: Fast Equivalence Verification of Multiple Large Forwarding Tables AU - Garegin Grigoryan AU - Yaoqing Liu AU - Michael Leczinsky AU - Jun Li PY - 2018 DO - 10.1109/infocom.2018.8485948 UR - https://arxiv.org/abs/1804.07374 ID - 1804.07374 ER -