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

Network verification - When Clarke meets Cerf.

George Varghese
Published in: FMCAD (2016)
Keyphrases
  • computer networks
  • data sets
  • network structure
  • communication cost
  • databases
  • information retrieval
  • learning algorithm
  • complex networks
  • network management
  • network parameters