@article {1522,
	title = {Analyzing Phylogenetic Treeswith Timed and Probabilistic Model Checking: The Lactose Persistance Case Study},
	journal = {Journal of Integrative Bioinformatics},
	volume = {11},
	year = {2014},
	month = {11/2014},
	issn = {1613-4516},
	author = {J.I. Requeno and J.M. Colom}
}

