Login / Signup
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
Ahmed Bouajjani
Cezara Dragoi
Constantin Enea
Yan Jurski
Mihaela Sighireanu
Published in:
Log. Methods Comput. Sci. (2009)
Keyphrases
</>
dynamic networks
network structure
dynamic behavior
temporal evolution
network analysis
network dynamics
machine learning
natural language
data sources
machine learning methods
complex networks
computational models
real world networks