@misc{indiciae7e6544ba4871,
  title = {P4K: A Formal Semantics of P4 and Applications},
  author = {Ali Kheradmand and Grigore Rosu},
  year = {2018},
  url = {https://arxiv.org/abs/1804.01468},
  note = {Source identifier: 1804.01468}
}