@misc{indiciae13adc9d7b09c,
  title = {Towards Runtime Verification of Programmable Switches},
  author = {Apoorv Shukla and Kevin Hudemann and Zsolt Vági and Lily Hügerich and Georgios Smaragdakis and Stefan Schmid and Artur Hecker and Anja Feldmann},
  year = {2020},
  url = {https://arxiv.org/abs/2004.10887},
  note = {Source identifier: 2004.10887}
}