• 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. 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