Login / Signup
Compositional Verification of Synchronous Networks.
Leszek Holenderski
Published in:
FTRTFT (2000)
Keyphrases
</>
social networks
database systems
model checking
asynchronous communication
power law
complex networks
data sets
databases
data structure
probability distribution
face recognition
network structure
case study
network analysis
network design
feature selection
heterogeneous networks
probabilistic networks