• Artículo
      Icon

      Proof techniques in Membrane Computing 

      Orellana Martín, David; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Elsevier, 2021)
      From the creation of the field of Membrane Computing in 1998, several research lines havebeen opened. On the one hand, ...