[RC14]
José Ignacio Requeno and José Manuel Colom.
Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study.
Journal of Integrative Bioinformatics, 11(3).
2014.
[Analyses phylogenetic trees using probabilistic model checking and PRISM.]
|
