Repositorio Institucional de Documentos

@article{Mateescu:79737,
      author        = "Mateescu, R. and Requeno, J.I.",
      title         = "{On-the-fly model checking for extended action-based
                       probabilistic operators}",
      year          = "2018",
}