@misc{indiciae71a23bbd3d12,
  title = {Plankton: Scalable network configuration verification through model checking},
  author = {Santhosh Prabhu and Kuan-Yen Chou and Ali Kheradmand and P. Brighten Godfrey and Matthew Caesar},
  year = {2019},
  url = {https://arxiv.org/abs/1911.02128},
  note = {Source identifier: 1911.02128}
}