Login / Signup
A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract).
Job Zwiers
Arie de Bruin
Willem P. de Roever
Published in:
Logic of Programs (1983)
Keyphrases
</>
extended abstract
dynamic networks
network structure
network analysis
dynamic behavior
biological networks
temporal evolution
bayesian networks
databases
feature selection
real world networks
data sets
data analysis
data sources
modal logic