Miguel A. Martínez-del-Amor Ignacio Pérez-Hurtado Mario J. Pérez-Jiménez Agustin Riscos-Núñez Fernando Sancho-Caparrini A Simulation Algorithm for Multienvironment Probabilistic P Systems: a Formal Verification. 107-118 2011 22 Int. J. Found. Comput. Sci. 1 http://dx.doi.org/10.1142/S0129054111007873 db/journals/ijfcs/ijfcs22.html#Martinez-del-AmorPPRS11