TY  - RPRT
TI  - Plankton: Scalable network configuration verification through model checking
AU  - Santhosh Prabhu
AU  - Kuan-Yen Chou
AU  - Ali Kheradmand
AU  - P. Brighten Godfrey
AU  - Matthew Caesar
PY  - 2019
UR  - https://arxiv.org/abs/1911.02128
ID  - 1911.02128
ER  -