Francisco José Romero-Campero, Marian Gheorghe, Luca Bianco, Dario Pescini, Mario J. Pérez-Jiménez, Rodica Ceterchi. Towards Probabilistic Model Checking on P Systems Using PRISM. In Hendrik Jan Hoogeboom, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, editors, Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers. Volume 4361 of Lecture Notes in Computer Science, pages 477-495, Springer, 2006. [doi]
Abstract is missing.