Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Asynchronous"
Now showing items 1-1 of 1
On spiking neural P systems [Article](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 ...