TY  - RPRT
TI  - Model Checking Data Flows in Concurrent Network Updates (Full Version)
AU  - Bernd Finkbeiner
AU  - Manuel Gieseking
AU  - Jesko Hecking-Harbusch
AU  - Ernst-Rüdiger Olderog
PY  - 2019
UR  - https://arxiv.org/abs/1907.11061
ID  - 1907.11061
ER  -