@article {138,
	title = {Towards probabilistic model checking on P systems using PRISM},
	journal = {Lecture Notes in Computer Science},
	volume = {4361},
	year = {2006},
	pages = {477-495},
	publisher = {Springer},
	address = {Amsterdam, The Netherlands},
	abstract = {This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM. },
	isbn = {978-3-540-69088-7},
	issn = {0302-9743},
	doi = {10.1007/11963516_30},
	url = {http://www.springerlink.com/content/326656pw543574g6/?p=c664762c3b9f4d6798380d9fb3509b9d\&pi=29},
	author = {Francisco J. Romero-Campero and Marian Gheorghe and Luca Bianco and Dario Pescini and Mario J. P{\'e}rez-Jim{\'e}nez and Rodica Ceterchi}
}
