%0 Generic %D 2006 %T Towards probabilistic model checking on P systems using PRISM %A Francisco J. Romero-Campero %A Marian Gheorghe %A Luca Bianco %A Dario Pescini %A Mario J. Pérez-Jiménez %A Rodica Ceterchi %C Berlín %P 477-495 %V 4361