Roberto Blanco, Gregorio de Miguel Casado, José Ignacio Requeno, José Manuel Colom. Temporal logics for phylogenetic analysis via model checking. In 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2010, Hong Kong, December 18, 2010. pages 152-157, IEEE, 2010. [doi]
Abstract is missing.