Login / Signup
Compiling Stateful Network Properties for Runtime Verification.
Tim Nelson
Nicholas DeMarinis
Timothy Adam Hoff
Rodrigo Fonseca
Shriram Krishnamurthi
Published in:
CoRR (2016)
Keyphrases
</>
network properties
network model
structural properties
topological properties
online social networks
clustering coefficient
graph theory
social networks
protein protein interactions
link formation
network structure
degree distribution
neural network
machine learning
complex networks
databases