Ciatto, Giovanni; De Maria, Elisabetta; Di Giusto, Cinzia, Spiking Neural Networks as Timed Automata, in: Proceedings of the Lyon Spring School on Advances in Systems and Synthetic Biology, 2017, pp. 55 - 68 (atti di: Advances in Systems and Synthetic Biology, Lione, 13/03/2017) [Contributo in Atti di convegno]