Login / Signup
Modeling and formal verification of biological regulatory networks: An integrative approach.
Pedro T. Monteiro
Ana T. Freitas
Delphine Ropers
Radu Mateescu
Hidde de Jong
Published in:
BIBM Workshops (2010)
Keyphrases
</>
regulatory networks
formal verification
gene expression
microarray
model checking
gene regulatory networks
gene expression data
biological systems
biological data
computational biology
microarray data
systems biology
neural network
molecular biology
transcription factors