| Title | P4R-Type: A Verified API for P4 Control Plane Programs |
|---|---|
| DOI | https://doi.org/10.1145/3622866 |
| Raw Affiliation | KTH Royal Institute of Technology, Stockholm, Sweden |
| Clean Page Target | KTH Royal Institute of Technology, Stockholm, Sweden |
| Title | P4R-Type: A Verified API for P4 Control Plane Programs |
|---|---|
| DOI | https://doi.org/10.1145/3622866 |
| Raw Affiliation | KTH Royal Institute of Technology, Stockholm, Sweden |
| Clean Page Target | KTH Royal Institute of Technology, Stockholm, Sweden |