Login / Signup
Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology.
Venkatesh Mysore
Carla Piazza
Bud Mishra
Published in:
ATVA (2005)
Keyphrases
</>
model checking
systems biology
temporal logic
high throughput
formal verification
biological systems
biological data
biological networks
gene regulatory networks
verification method
semi algebraic
protein protein interactions
molecular biology
computational biology
web services
artificial intelligence
databases