Sliced Model Checking for Phylogenetic Analysis
| Title | Sliced Model Checking for Phylogenetic Analysis |
| Publication Type | Book Chapter |
| Year of Publication | 2012 |
| Authors | Requeno, JI, Blanco R, de Miguel G, Colom JM |
| Book Title | 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012) |
| Series Title | Advances in Intelligent and Soft Computing |
| Publisher | Springer |
| City | Berlin Heildelbeg |
| ISBN | 1867-5662 |
| Export |
