Ryan Beckett, Nick Giannarakis, Devon Loher, David Walker. NV: An intermediate language for network verification. In Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages, NetPL@SIGCOMM 2019, Beijing, China, August 23, 2019. pages 3-4, ACM, 2019. [doi]
@inproceedings{BeckettGLW19,
title = {NV: An intermediate language for network verification},
author = {Ryan Beckett and Nick Giannarakis and Devon Loher and David Walker},
year = {2019},
doi = {10.1145/3341561.3349592},
url = {https://doi.org/10.1145/3341561.3349592},
researchr = {https://researchr.org/publication/BeckettGLW19},
cites = {0},
citedby = {0},
pages = {3-4},
booktitle = {Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages, NetPL@SIGCOMM 2019, Beijing, China, August 23, 2019},
publisher = {ACM},
isbn = {978-1-4503-6877-3},
}