Checking Beliefs in Dynamic Networks.

Nuno P. Lopes Nikolaj Bjørner Patrice Godefroid Karthick Jayaraman George Varghese

Published in: NSDI (2015)

Keyphrases

dynamic networks
network structure
dynamic behavior
network analysis
biological networks
temporal evolution
databases
data structure
high dimensional
real world networks