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