The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Automatically verifying reachability and well-formedness in P4 Networks
The work
| Authors | N. P. Lopes; N. Bjørner; N. McKeown; A. Rybalchenko; D. Talayco; G. Varghese |
|---|---|
| Editors | |
| Type | techreport |
| Year | 2016 |
| Citekey | lopes2016automatically |
Where it appeared
| Publisher | Technical Report |
|---|---|
| School | Technical Report |
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-28 21:31 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@techreport{lopes2016automatically,
title = {Automatically verifying reachability and well-formedness in P4 Networks},
author = {N. P. Lopes and N. Bjørner and N. McKeown and A. Rybalchenko and D. Talayco and G. Varghese},
year = {2016},
publisher = {Technical Report},
school = {Technical Report},
}
This record lives at https://refs.drheap.org/lopes2016automatically/ and will keep doing so.