TY  - RPRT
TI  - Towards Model Checking Real-World Software-Defined Networks (version with appendix)
AU  - Vasileios Klimis
AU  - George Parisis
AU  - Bernhard Reus
PY  - 2020
UR  - https://arxiv.org/abs/2004.11988
ID  - 2004.11988
ER  -