Automatic Verification of Parameterized Linear Networks of Processes.

David Lesens Nicolas Halbwachs Pascal Raymond

Published in: POPL (1997)

Keyphrases

network structure
complex networks
neural network
databases
social networks
network design
complex systems
network analysis
stochastic processes
database
information diffusion
linear model
network model
computational models
information technology
objective function
real time