NV: An intermediate language for network verification.

Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker

Browse the full SIGCOMM paper archive.