Atlantis Institut des Sciences Fictives

@article{Requeno:162395,
      author        = "Requeno, J.I. and De Miguel Casado, G. and Blanco, R. and
                       Colom, J.M.",
      title         = "{Temporal logics for phylogenetic analysis via model
                       checking}",
      year          = "2013",
}