Article,
Petr4: Formal Foundations for P4 Data Planes.
R. Doenges, M. Arashloo, S. Bautista, A. Chang, N. Ni, S. Parkinson, R. Peterson, A. Solko-Breslin, A. Xu, and N. Foster.CoRR, (2020)
Meta data
- BibTeX key
- journals/corr/abs-2011-05948
- entry type
- article
- year
- 2020
- journal
- CoRR
- volume
- abs/2011.05948
- ee
- https://arxiv.org/abs/2011.05948
- url
- http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-05948
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-2011-05948
%A Doenges, Ryan
%A Arashloo, Mina Tahmasbi
%A Bautista, Santiago
%A Chang, Alexander
%A Ni, Newton
%A Parkinson, Samwise
%A Peterson, Rudy
%A Solko-Breslin, Alaia
%A Xu, Amanda
%A Foster, Nate
%D 2020
%J CoRR
%K dblp
%T Petr4: Formal Foundations for P4 Data Planes.
%U http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-05948
%V abs/2011.05948
@article{journals/corr/abs-2011-05948,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Doenges, Ryan and Arashloo, Mina Tahmasbi and Bautista, Santiago and Chang, Alexander and Ni, Newton and Parkinson, Samwise and Peterson, Rudy and Solko-Breslin, Alaia and Xu, Amanda and Foster, Nate},
biburl = {https://www.bibsonomy.org/bibtex/2c5b8532a7cdeeab66cc7707e1f70ff4a/dblp},
ee = {https://arxiv.org/abs/2011.05948},
interhash = {4a723d9d04f7bc917eb739b013231d33},
intrahash = {c5b8532a7cdeeab66cc7707e1f70ff4a},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-09T00:04:49.000+0200},
title = {Petr4: Formal Foundations for P4 Data Planes.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-05948},
volume = {abs/2011.05948},
year = 2020
}