Temporal logics for phylogenetic analysis via model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Roberto Blanco' in GoogleThis author has not been identified. Look up 'Gregorio de Miguel Casado' in GoogleThis author has not been identified. Look up 'José Ignacio Requeno' in GoogleThis author has not been identified. Look up 'José Manuel Colom' in Google

runs on WebDSL