Login / Signup
Improving the Timed Automata Approach to Biological Pathway Dynamics.
Rom Langerak
Jaco van de Pol
Janine N. Post
Stefano Schivo
Published in:
Models, Algorithms, Logics and Tools (2017)
Keyphrases
</>
timed automata
reachability analysis
model checking
regulatory networks
theorem proving
theorem prover
dynamic model
dynamical systems
biological systems
signal transduction pathways
molecular biology
biological data
data sets
systems biology
real time systems
data analysis
artificial intelligence
animal behavior