@misc{indiciaec31f4e2cf1d5,
  title = {Petr4: Formal Foundations for P4 Data Planes},
  author = {Ryan Doenges and Mina Tahmasbi Arashloo and Santiago Bautista and Alexander Chang and Newton Ni and Samwise Parkinson and Rudy Peterson and Alaia Solko-Breslin and Amanda Xu and Nate Foster},
  year = {2020},
  url = {https://arxiv.org/abs/2011.05948},
  note = {Source identifier: 2011.05948}
}