BY-NC-ND 4.0 license Open Access Published by De Gruyter October 18, 2016

Model checking software for phylogenetic trees using distribution and database methods

José Ignacio Requeno and José Manuel Colom