Skip to main content

NV: An intermediate language for network verification

Author(s): Beckett, Ryan; Giannarakis, Nick; Loher, Devon; Walker, David

Download
To 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.