TY  - RPRT
TI  - P4K: A Formal Semantics of P4 and Applications
AU  - Ali Kheradmand
AU  - Grigore Rosu
PY  - 2018
UR  - https://arxiv.org/abs/1804.01468
ID  - 1804.01468
ER  -