Verifying parametrized, featured networks by abstraction.

Muffy Calder Alice Miller

Published in: ISoLA (Preliminary proceedings) (2004)

Keyphrases

network structure
network analysis
information retrieval
search engine
high level
cellular networks
real time
data sets
databases
social networks
decision trees
probabilistic networks
network size