Login / Signup
Correct by Construction Networks Using Stepwise Refinement.
Leonid Ryzhyk
Nikolaj Bjørner
Marco Canini
Jean-Baptiste Jeannin
Cole Schlesinger
Douglas B. Terry
George Varghese
Published in:
NSDI (2017)
Keyphrases
</>
network design
databases
complex networks
power law
real time
social networks
data structure
query processing
hidden markov models
complex systems
computer networks
community structure
network model
network resources
query refinement
network size