Cargando…
Evaluation of properties over phylogenetic trees using stochastic logics
BACKGROUND: Model checking has been recently introduced as an integrated framework for extracting information of the phylogenetic trees using temporal logics as a querying language, an extension of modal logics that imposes restrictions of a boolean formula along a path of events. The phylogenetic t...
| Autores principales: | , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
BioMed Central
2016
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4908722/ https://www.ncbi.nlm.nih.gov/pubmed/27301397 http://dx.doi.org/10.1186/s12859-016-1077-7 |