A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes.

Ahmed Bouajjani Yan Jurski Mihaela Sighireanu

Published in: TACAS (2007)

Keyphrases

dynamic networks
network analysis
temporal evolution
network structure
biological networks
network dynamics
social networks
real world networks
databases
data mining
machine learning
learning algorithm
binary images