@article {720, title = {A simulation algorithm for multienvironment probabilistic P systems: A formal verification}, journal = {International Journal of Foundations of Computer Science}, volume = {22}, year = {2011}, pages = {107-118}, publisher = {World Scientific}, address = {London, U.K.}, issn = {0129-0541}, author = {Miguel A. Mart{\'\i}nez-del-Amor and Ignacio P{\'e}rez-Hurtado and Mario J. P{\'e}rez-Jim{\'e}nez and Agust{\'\i}n Riscos-N{\'u}{\~n}ez and Fernando Sancho-Caparrini} }