Temporal Logics for Phylogenetic Analysis via Model Checking | Publicación