Cargando…
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks
BACKGROUND: The study of biological networks has led to the development of increasingly large and detailed models. Computer tools are essential for the simulation of the dynamical behavior of the networks from the model. However, as the size of the models grows, it becomes infeasible to manually ver...
| Autores principales: | , , , , , , |
|---|---|
| Formato: | Texto |
| Lenguaje: | English |
| Publicado: |
BioMed Central
2009
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2813247/ https://www.ncbi.nlm.nih.gov/pubmed/20042075 http://dx.doi.org/10.1186/1471-2105-10-450 |