Parameterized Verification of Coverability in Well-Structured Broadcast Networks.

A. R. Balasubramanian

Published in: GandALF (2018)

Keyphrases

social networks
network structure
network analysis
data sets
model checking
case study
databases
metadata
structured data
computer networks
network design
face verification
network size
data broadcasting