TY  - RPRT
TI  - Fine-grained Distributed Data Plane Verification with Intent-based Slicing
AU  - Kuan-Yen Chou
AU  - Santhosh Prabhu
AU  - Giri Subramanian
AU  - Wenxuan Zhou
AU  - Aanand Nayyar
AU  - Brighten Godfrey
AU  - Matthew Caesar
PY  - 2024
UR  - https://arxiv.org/abs/2405.20982
ID  - 2405.20982
ER  -