{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:31:35Z","timestamp":1725845495126},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319284743"},{"type":"electronic","value":"9783319284750"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-28475-0_6","type":"book-chapter","created":{"date-parts":[[2015,12,29]],"date-time":"2015-12-29T04:21:01Z","timestamp":1451362861000},"page":"77-91","source":"Crossref","is-referenced-by-count":3,"title":["Automated Verification of Stochastic Spiking Neural P Systems"],"prefix":"10.1007","author":[{"given":"Bogdan","family":"Aman","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Ciobanu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,30]]},"reference":[{"key":"6_CR1","volume-title":"Molecular Biology of the Cell","author":"B Alberts","year":"2014","unstructured":"Alberts, B., Johnson, A., Lewis, J., Morgan, D., Raff, M., Roberts, K., Walter, P.: Molecular Biology of the Cell, 6th edn. Garland Science, New York (2014)","edition":"6"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2007.12.003","volume":"194","author":"B Aman","year":"2008","unstructured":"Aman, B., Ciobanu, G.: Describing the immune system using enhanced mobile membranes. Electron. Notes Theor. Comput. Sci. 194, 5\u201318 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-04186-0_2","volume-title":"Transactions on Computational Systems Biology XI","author":"B Aman","year":"2009","unstructured":"Aman, B., Ciobanu, G.: Simple, enhanced and mutual mobile membranes. In: Priami, C., Back, R.-J., Petre, I. (eds.) Transactions on Computational Systems Biology XI. LNCS, vol. 5750, pp. 26\u201344. Springer, Heidelberg (2009)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/j.ipl.2011.12.003","volume":"112","author":"B Aman","year":"2012","unstructured":"Aman, B., Ciobanu, G.: Properties of enhanced mobile membranes via coloured Petri nets. Inf. Process. Lett. 112, 243\u2013248 (2012)","journal-title":"Inf. Process. Lett."},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.tcs.2015.03.051","volume":"598","author":"B Aman","year":"2015","unstructured":"Aman, B., Ciobanu, G.: Verification of membrane systems with delays via Petri nets with delays. Theor. Comput. Sci. 598, 87\u2013101 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume":"3098","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. Lect. Notes Comput. Sci. 3098, 87\u2013124 (2004)","journal-title":"Lect. Notes Comput. Sci."},{"issue":"4","key":"6_CR8","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/s11047-008-9086-8","volume":"7","author":"M Cavaliere","year":"2008","unstructured":"Cavaliere, M., Mura, I.: Experiments on the reliability of stochastic spiking neural P systems. Nat. Comput. 7(4), 453\u2013470 (2008)","journal-title":"Nat. Comput."},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-56496-9_24","volume":"663","author":"K Cerans","year":"1992","unstructured":"Cerans, K.: Decidability of bisimulation equivalences for parallel timer processes. Lect. Notes Comput. Sci. 663, 302\u2013315 (1992)","journal-title":"Lect. Notes Comput. Sci."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Ciobanu, G., P\u0103un, Gh., P\u00e9rez-Jim\u00e9nez, M.J. (eds.) Applications of Membrane Computing. Springer, Heidelberg (2006)","DOI":"10.1007\/3-540-29937-8"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Frisco, P., P\u0103un, Gh., P\u00e9rez-Jim\u00e9nez, M.J. (eds.) Applications of Membrane Computing in Systems and Synthetic Biology. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-319-03191-0"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"TA Henzinger","year":"1994","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. Comput. 111, 192\u2013224 (1994)","journal-title":"Inf. Comput."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"P\u0103un, Gh., Rozenberg, G., Salomaa, A. (eds.) Handbook of Membrane Computing. Oxford University Press, New York (2010)","DOI":"10.1007\/978-3-642-11467-0"},{"volume-title":"Handbook of Formal Languages","year":"1997","key":"6_CR14","unstructured":"Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 3. Springer, Heidelberg (1997)"},{"issue":"1\u20132","key":"6_CR15","doi-asserted-by":"crossref","first-page":"183","DOI":"10.3233\/FI-2014-1098","volume":"134","author":"Z Xu","year":"2014","unstructured":"Xu, Z., Cavaliere, M., An, P., Vrudhula, S., Cao, Y.: The stochastic loss of spikes in spiking neural P systems: design and implementation of reliable arithmetic circuits. Fundamenta Informaticae 134(1\u20132), 183\u2013200 (2014)","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28475-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,13]],"date-time":"2020-09-13T08:42:37Z","timestamp":1599986557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28475-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319284743","9783319284750"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28475-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}