Automatic verification of parameterized networks of processes.

David Lesens Nicolas Halbwachs Pascal Raymond

Published in: Theor. Comput. Sci. (2001)

Keyphrases

social networks
real world
network structure
process model
computer networks
network design
real time
neural network
search engine
computer vision
decision making
end to end
complex networks
cellular networks