• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A General Approach to Network Configuration Verification.

Ryan BeckettAarti GuptaRatul MahajanDavid Walker
Published in: SIGCOMM (2017)
Keyphrases
  • network configuration
  • special case
  • decision support system