Login / Signup
Equivalence and its applications to network verification.
Dragos Dumitrescu
Radu Stoenescu
Matei Popovici
Lorina Negreanu
Costin Raiciu
Published in:
SIGCOMM Posters and Demos (2018)
Keyphrases
</>
network model
network structure
network traffic
artificial intelligence
complex networks
computer networks
campus network
databases
origin destination
network size
network topologies
mobile communication
formal verification
data flow
link prediction
peer to peer
wireless sensor networks
information systems