A General Approach to Network Configuration Verification

By Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker. Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, 2017

424 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/b0e53912b2ebfcd14cb7f3d16a586ba316e5a1f9