@misc{indiciae1d77f8b8902a,
  title = {Fine-grained Distributed Data Plane Verification with Intent-based Slicing},
  author = {Kuan-Yen Chou and Santhosh Prabhu and Giri Subramanian and Wenxuan Zhou and Aanand Nayyar and Brighten Godfrey and Matthew Caesar},
  year = {2024},
  url = {https://arxiv.org/abs/2405.20982},
  note = {Source identifier: 2405.20982}
}