NV: An intermediate language for network verification
Author(s): Beckett, Ryan; Giannarakis, Nick; Loher, Devon; Walker, David
DownloadTo refer to this page use:
http://arks.princeton.edu/ark:/88435/pr14r7bFull metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Beckett, Ryan | - |
| dc.contributor.author | Giannarakis, Nick | - |
| dc.contributor.author | Loher, Devon | - |
| dc.contributor.author | Walker, David | - |
| dc.date.accessioned | 2021-10-08T19:47:53Z | - |
| dc.date.available | 2021-10-08T19:47:53Z | - |
| dc.date.issued | 2019-08 | en_US |
| dc.identifier.citation | Beckett, Ryan, Nick Giannarakis, Devon Loher, and David Walker. "NV: An intermediate language for network verification." In Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages (2019), pp. 3-4. doi:10.1145/3341561.3349592 | en_US |
| dc.identifier.uri | http://arks.princeton.edu/ark:/88435/pr14r7b | - |
| dc.format.extent | 3 - 4 | en_US |
| dc.language.iso | en_US | en_US |
| dc.relation.ispartof | Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages | en_US |
| dc.rights | Final published version. Article is made available in OAR by the publisher's permission or policy. | en_US |
| dc.title | NV: An intermediate language for network verification | en_US |
| dc.type | Conference Article | en_US |
| dc.identifier.doi | 10.1145/3341561.3349592 | - |
| pu.type.symplectic | http://www.symplectic.co.uk/publications/atom-terms/1.0/conference-proceeding | en_US |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| IntermediateLanguageNetworkVerification.pdf | 368.12 kB | Adobe PDF | View/Download |
Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.