Bogdan Aman, Gabriel Ciobanu. Automated Verification of Stochastic Spiking Neural P Systems. In Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron, editors, Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers. Volume 9504 of Lecture Notes in Computer Science, pages 77-91, Springer, 2015. [doi]
Abstract is missing.