Publications of the COSMOS Research Group

2013
[2]	Model checking software for phylogenetic trees using distribution and database methods (José-Ignacio Requeno), In Journal of Integrative Bioinformatics, volume 10, 2013. [bibtex] [url] [doi]
2014
[1]	Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study (José-Ignacio Requeno), In Journal of Integrative Bioinformatics, volume 11, 2014. [bibtex] [url] [doi]