| https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/271/5967 +
, https://dblp.org/pid/173/5006 +
, https://dblp.org/pid/278/2761 +
, https://dblp.org/pid/34/5385 +
, https://dblp.org/pid/278/3217 +
, https://dblp.org/pid/278/2800 +
, https://dblp.org/pid/278/3052 +
, https://dblp.org/pid/278/3188 +
, https://dblp.org/pid/278/2819 +
, https://dblp.org/pid/15/3253 +
|
| https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Article +
|
| https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.1145/3434322 +
|
| https://dblp.org/rdf/schema#doi
|
https://doi.org/10.1145/3434322 +
, http://dx.doi.org/10.1145/3434322 +
|
| https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/journals/pacmpl/pacmpl5 +
|
| https://dblp.org/rdf/schema#numberOfCreators
|
10
|
| https://dblp.org/rdf/schema#pagination
|
1-32
|
| https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.1145/3434322 +
|
| https://dblp.org/rdf/schema#publishedIn
|
Proc. ACM Program. Lang.
|
| https://dblp.org/rdf/schema#publishedInJournal
|
Proc. ACM Program. Lang.
|
| https://dblp.org/rdf/schema#publishedInJournalVolume
|
5
|
| https://dblp.org/rdf/schema#publishedInJournalVolumeIssue
|
POPL
|
| https://dblp.org/rdf/schema#title
|
Petr4: formal foundations for p4 data planes.
|
| https://dblp.org/rdf/schema#yearOfPublication
|
2021
|
| owl:sameAs |
https://doi.org/10.1145/3434322 +
, http://dx.doi.org/10.1145/3434322 +
|
| rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Article +
|
| rdfs:label |
Ryan Doenges et al.: Petr4: formal foundations for p4 data planes. (2021)
|
