Universidad de Zaragoza Repository

@article{RequenoJarabo:5302,
      author        = "Requeno Jarabo, José Ignacio and Colom Piazuelo, José
                       Manuel",
      title         = "{Análisis filogenético mediante lógica temporal y model
                       checking}",
      year          = "2010",
      note          = "Realizado bajo la tutela de una beca de iniciación a la
                       investigación del I3A",
}