|
[RC14b]
José Ignacio Requeno and José Manuel Colom.
Timed and Probabilistic Model Checking over Phylogenetic Trees.
In 8th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB'14), volume 294 of Advances in Intelligent Systems and Computing Volume, pages 105-112, Springer.
2014.
[Analyses phylogenetic trees using probabilistic model checking and PRISM.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|