C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
Pedro T. Monteiro
Estelle Dumas
Bruno Besson
Radu Mateescu
Michel Page
Ana T. Freitas
Hidde de Jong
Published in:
BMC Bioinform. (2009)
Keyphrases
</>
formal verification
genetic regulatory networks
model checking
steady state
reverse engineering
markov chain
temporal logic
qualitative simulation