Cargando…
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
Motivation: Investigating the relation between the structure and behavior of complex biological networks often involves posing the question if the hypothesized structure of a regulatory network is consistent with the observed behavior, or if a proposed structure can generate a desired behavior. Resu...
| Autores principales: | , , , , , |
|---|---|
| Formato: | Texto |
| Lenguaje: | English |
| Publicado: |
Oxford University Press
2010
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2935427/ https://www.ncbi.nlm.nih.gov/pubmed/20823328 http://dx.doi.org/10.1093/bioinformatics/btq387 |