A formal framework for spiking neural P systems
scientific article; zbMATH DE number 7395480
scientific article