Title :
Carrying out Phylogenetic Analyses through Computational Model Checking
Author_Institution :
University of Georgia
Abstract :
This installment of Computer´s series highlighting the work published in IEEE Computer Society journals comes from IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Keywords :
computational model checking; evolutionary relationships; phylogenetic analysis; phylogenetic tree; temporal logic;
