José Ignacio Requeno, José Manuel Colom. Speeding Up Phylogenetic Model Checking. In Mohd Saberi Mohamad, Loris Nanni, Miguel P. Rocha, Florentino Fdez-Riverola, editors, 7th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2013, 22-14 May, 2013, Salamanca, Spain. Volume 222 of Advances in Intelligent Systems and Computing, pages 119-126, Springer, 2013. [doi]
Abstract is missing.