@inbook {1407,
	title = {Sliced Model Checking for Phylogenetic Analysis},
	booktitle = {6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012)},
	series = {Advances in Intelligent and Soft Computing},
	year = {2012},
	month = {04/2012},
	publisher = {Springer},
	organization = {Springer},
	address = {Berlin Heildelbeg},
	issn = {1867-5662},
	author = {J.I. Requeno and R. Blanco and G. de Miguel and J.M. Colom}
}

