TY  - RPRT
TI  - Towards Runtime Verification of Programmable Switches
AU  - Apoorv Shukla
AU  - Kevin Hudemann
AU  - Zsolt Vági
AU  - Lily Hügerich
AU  - Georgios Smaragdakis
AU  - Stefan Schmid
AU  - Artur Hecker
AU  - Anja Feldmann
PY  - 2020
UR  - https://arxiv.org/abs/2004.10887
ID  - 2004.10887
ER  -