Temporal Logics for Phylogenetic Analysis via Model Checking
| Title | Temporal Logics for Phylogenetic Analysis via Model Checking |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Blanco, R, de Miguel G, Requeno JI, Colom JM |
| Conference Name | Workshop on Mining and Management of Biological and Health Data – A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10) |
| Date Published | 12/2010 |
| Conference Location | Hong-Kong, China |
| Export |
