Now showing items 1-1 of 1

    • Icon

      On spiking neural P systems  [Article]

      Ibarra, Óscar H.; Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Springer, 2010)
      This work deals with several aspects concerning the formal verification of SN P systems and the computing power of some variants. A methodology based on the information given by the transition diagram associated with an ...