José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom. Sliced Model Checking for Phylogenetic Analysis. In Miguel P. Rocha, Nicholas M. Luscombe, Florentino Fdez-Riverola, Juan M. Corchado Rodríguez, editors, 6th International Conference on Practical Applications of Computational Biology & Bioinformatics. Volume 154 of Advances in Intelligent and Soft Computing, pages 95-103, Springer, 2012. [doi]
Abstract is missing.