{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:33:39Z","timestamp":1759638819970,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642280238"},{"type":"electronic","value":"9783642280245"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28024-5_15","type":"book-chapter","created":{"date-parts":[[2012,1,11]],"date-time":"2012-01-11T20:19:45Z","timestamp":1326313185000},"page":"215-225","source":"Crossref","is-referenced-by-count":2,"title":["Formal Verification of P Systems with Active Membranes through Model Checking"],"prefix":"10.1007","author":[{"given":"Florentin","family":"Ipate","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raluca","family":"Lefticaru","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ignacio","family":"P\u00e9rez-Hurtado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario J.","family":"P\u00e9rez-Jim\u00e9nez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Tudose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-540-31837-8_7","volume-title":"Membrane Computing","author":"O. Andrei","year":"2005","unstructured":"Andrei, O., Ciobanu, G., Lucanu, D.: Executable Specifications of P Systems. In: Mauri, G., P\u0103un, G., Jes\u00fas P\u00e9rez-J\u00edmenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol.\u00a03365, pp. 126\u2013145. Springer, Heidelberg (2005)"},{"key":"15_CR2","volume-title":"Principles of the Spin Model Checker","author":"M. Ben-Ari","year":"2008","unstructured":"Ben-Ari, M.: Principles of the Spin Model Checker. Springer, London (2008)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-540-77312-2_9","volume-title":"Membrane Computing","author":"F. Bernardini","year":"2007","unstructured":"Bernardini, F., Gheorghe, M., Romero-Campero, F.J., Walkinshaw, N.: A Hybrid Approach to Modeling Biological Systems. In: Eleftherakis, G., Kefalas, P., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol.\u00a04860, pp. 138\u2013159. Springer, Heidelberg (2007)"},{"key":"15_CR4","series-title":"Natural Computing Series","volume-title":"Applications of Membrane Computing","year":"2006","unstructured":"Ciobanu, G., P\u00e9rez-Jim\u00e9nez, M.J., P\u0103un, G. (eds.): Applications of Membrane Computing. Natural Computing Series. Springer, Heidelberg (2006)"},{"key":"15_CR5","volume-title":"Model checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11560319_9","volume-title":"Unconventional Computation","author":"Z. Dang","year":"2005","unstructured":"Dang, Z., Ibarra, O.H., Li, C., Xie, G.: On Model-Checking of P Systems. In: Calude, C.S., Dinneen, M.J., P\u0103un, G., Jes\u00fas P\u00e9rez-J\u00edmenez, M., Rozenberg, G. (eds.) UC 2005. LNCS, vol.\u00a03699, pp. 82\u201393. Springer, Heidelberg (2005)"},{"issue":"3","key":"15_CR7","first-page":"279","volume":"11","author":"Z. Dang","year":"2006","unstructured":"Dang, Z., Ibarra, O.H., Li, C., Xie, G.: On the decidability of model-checking for P systems. Journal of Automata, Languages and Combinatorics\u00a011(3), 279\u2013298 (2006)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-77312-2_16","volume-title":"Membrane Computing","author":"D. D\u00edaz-Pernil","year":"2007","unstructured":"D\u00edaz-Pernil, D., Guti\u00e9rrez-Naranjo, M.A., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A.: A Logarithmic Bound for Solving Subset Sum with P Systems. In: Eleftherakis, G., Kefalas, P., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol.\u00a04860, pp. 257\u2013270. Springer, Heidelberg (2007)"},{"issue":"9","key":"15_CR9","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/s00500-004-0397-0","volume":"9","author":"M.A. Guti\u00e9rrez-Naranjo","year":"2005","unstructured":"Guti\u00e9rrez-Naranjo, M.A., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A.: A fast P system for finding a balanced 2-partition. Soft Computing\u00a09(9), 673\u2013678 (2005)","journal-title":"Soft Computing"},{"unstructured":"Ipate, F., \u0162urcanu, A.: Modelling, verification and testing of P systems using Rodin and ProB. In: Ninth Brainstorming Week on Membrane Computing (BWMC 2011), pp. 209\u2013220 (2011)","key":"15_CR10"},{"issue":"6","key":"15_CR11","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1016\/j.jlap.2010.03.007","volume":"79","author":"F. Ipate","year":"2010","unstructured":"Ipate, F., Gheorghe, M., Lefticaru, R.: Test generation from P systems using model checking. Journal of Logic and Algebraic Programming\u00a079(6), 350\u2013362 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1142\/S0129054111007897","volume":"22","author":"F. Ipate","year":"2011","unstructured":"Ipate, F., Lefticaru, R., Tudose, C.: Formal verification of P systems using Spin. International Journal of Foundations of Computer Science\u00a022(1), 133\u2013142 (2011)","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"2","key":"15_CR13","first-page":"153","volume":"13","author":"R. Lefticaru","year":"2010","unstructured":"Lefticaru, R., Ipate, F., Gheorghe, M.: Model checking based test generation from P systems using P-Lingua. Romanian Journal of Information Science and Technology\u00a013(2), 153\u2013168 (2010)","journal-title":"Romanian Journal of Information Science and Technology"},{"unstructured":"P-Lingua website, \n                    \n                      http:\/\/www.p-lingua.org\n                    \n                    \n                   (last visited, November 2011)","key":"15_CR14"},{"issue":"3","key":"15_CR15","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1023\/A:1025449224520","volume":"2","author":"M.J. P\u00e9rez-Jim\u00e9nez","year":"2003","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Jim\u00e9nez, \u00c1.R., Sancho-Caparrini, F.: Complexity classes in models of cellular computing with membranes. Natural Computing\u00a02(3), 265\u2013285 (2003)","journal-title":"Natural Computing"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-24619-0_19","volume-title":"Membrane Computing","author":"M. P\u00e9rez-J\u00edmenez Jes\u00fas","year":"2004","unstructured":"Jes\u00fas P\u00e9rez-J\u00edmenez, M., Riscos-N\u00fa\u00f1ez, A.: A Linear-time Solution to the Knapsack Problem Using P Systems with Active Membranes. In: Mart\u00edn-Vide, C., Mauri, G., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol.\u00a02933, pp. 250\u2013268. Springer, Heidelberg (2004)"},{"issue":"4","key":"15_CR17","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF03037637","volume":"23","author":"M.J. P\u00e9rez-Jim\u00e9nez","year":"2005","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A.: Solving the Subset-Sum problem by P systems with active membranes. New Generation Computing\u00a023(4), 339\u2013356 (2005)","journal-title":"New Generation Computing"},{"doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, pp. 46\u201357. IEEE (1977)","key":"15_CR18","DOI":"10.1109\/SFCS.1977.32"},{"issue":"1","key":"15_CR19","first-page":"75","volume":"6","author":"G. P\u0103un","year":"2001","unstructured":"P\u0103un, G.: P systems with active membranes: Attacking NP-complete problems. Journal of Automata, Languages and Combinatorics\u00a06(1), 75\u201390 (2001)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"15_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing: An Introduction","author":"G. P\u0103un","year":"2002","unstructured":"P\u0103un, G.: Membrane Computing: An Introduction. Springer, Heidelberg (2002)"},{"doi-asserted-by":"crossref","unstructured":"P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press (2010)","key":"15_CR21","DOI":"10.1007\/978-3-642-11467-0"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/11963516_30","volume-title":"Membrane Computing","author":"F.J. Romero-Campero","year":"2006","unstructured":"Romero-Campero, F.J., Gheorghe, M., Bianco, L., Pescini, D., Jes\u00fas P\u00e9rez-J\u00edmenez, M., Ceterchi, R.: Towards Probabilistic Model Checking on P Systems Using PRISM. In: Hoogeboom, H.J., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol.\u00a04361, pp. 477\u2013495. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28024-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T11:58:59Z","timestamp":1556107139000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28024-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642280238","9783642280245"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28024-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}