@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}
}
