Login / Signup

A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.

Pedro T. MonteiroEstelle DumasBruno BessonRadu MateescuMichel PageAna T. FreitasHidde 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