Symbolic Model Checking of Biochemical Networks.

Nathalie Chabrier François Fages

Published in: CMSB (2003)

Keyphrases

biochemical networks
symbolic model checking
model checking
partial observability
formal verification
systems biology
symbolic representation
cell cycle
binary decision diagrams
model checker
artificial intelligence
data sets
partially observable
high throughput
multi agent
neural network
planning domains