@inproceedings {1510,
	title = {Timed and Probabilistic Model Checking over Phylogenetic Trees},
	booktitle = {8th International Conference on Practical Applications of Computational Biology & Bioinformatics },
	year = {2014},
	month = {06/2014},
	publisher = {Springer},
	organization = {Springer},
	address = {Salamanca, Spain},
	abstract = {Model checking is a generic verication technique that allows the phylogeneticist to focus on models and specications instead of on implementation issues. Phylogenetic trees are considered as transition
systems over which we interrogate phylogenetic questions written as formulas of temporal logic. Nonetheless, standard logics become insuficient for the usual practices of phylogenetic analysis since they don{\textquoteright}t allow the inclusion of explicit time and probabilities. The aim of this paper is to extend the application of model checking techniques beyond qualitative phylogenetic properties and adapt the existing logical extensions and tools to the eld of phylogeny. The introduction of time and probabilities in phylogenetic specications is motivated by a real example.},
	author = {J.I. Requeno and J.M. Colom}
}

