Publicacions en què col·labora amb Dolores Burgueño Caballero (1)

2018

  1. Formalizing Complex Event Processing Systems in Maude

    IEEE Access, Vol. 6, pp. 23222-23241