Repositorio Institucional de Documentos

@article{Couvreur:69708,
      author        = "Couvreur, J.M. and Ezpeleta, J.",
      title         = "{A linear temporal logic model checking method over finite
                       words with correlated transition attributes}",
      year          = "2017",
}