Verifying Universal Properties of Parameterized Networks.

Kai Baukus Yassine Lakhnech Karsten Stahl

Published in: FTRTFT (2000)

Keyphrases

desirable properties
database
social networks
computer networks
data sets
genetic algorithm
information systems
expert systems
network structure
network design