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/pr14r7b| Publication Date: | Aug-2019 |
| 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 |
| DOI: | 10.1145/3341561.3349592 |
| Pages: | 3 - 4 |
| Type of Material: | Conference Article |
| Journal/Proceeding Title: | Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages |
| Version: | Final published version. Article is made available in OAR by the publisher's permission or policy. |
Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.