"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis

BACKGROUND: In Thomas' formalism for modeling gene regulatory networks (GRNs), branching time, where a state can have more than one possible future, plays a prominent role. By representing a certain degree of unpredictability, branching time can model several important phenomena, such as (a) as...

Descripción completa

Detalles Bibliográficos
Autores principales: Arellano, Gustavo, Argil, Julián, Azpeitia, Eugenio, Benítez, Mariana, Carrillo, Miguel, Góngora, Pedro, Rosenblueth, David A, Alvarez-Buylla, Elena R
Formato: Online Artículo Texto
Lenguaje:English
Publicado: BioMed Central 2011
Materias:
Software
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3316443/
https://www.ncbi.nlm.nih.gov/pubmed/22192526
http://dx.doi.org/10.1186/1471-2105-12-490

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3316443/
https://www.ncbi.nlm.nih.gov/pubmed/22192526
http://dx.doi.org/10.1186/1471-2105-12-490

Ejemplares similares