Efficient verification of network reachability properties.

Published in: ICNP (2013)

Keyphrases

cost effective
communication networks
network design
information systems
data structure
network structure
desirable properties
network architecture
databases
artificial intelligence
social networks
database systems
state space
peer to peer
complex networks