Publicaciones en las que colabora con Dolores Burgueño Caballero (1)

2018

  1. Formalizing Complex Event Processing Systems in Maude

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