@inproceedings {1320,
	title = {Temporal Logics for Phylogenetic Analysis via Model Checking},
	booktitle = {Workshop on Mining and Management of Biological and Health Data {\textendash} A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10)},
	year = {2010},
	month = {12/2010},
	pages = {152-157},
	address = {Hong-Kong, China},
	author = {R. Blanco and G. de Miguel and J.I. Requeno and J.M. Colom}
}

