@article {296,
	title = {Formal verification of a transition P system generating the set {2^n+n^2+n:n>=1}},
	journal = {First Brainstorming Week on Membrane Computing},
	year = {2003},
	month = {February 5-11},
	pages = {261-269},
	address = {Tarragona, Espa{\~n}a},
	attachments = {http://www.gcn.us.es/biblio/q=node/modules/files/Formal Verification of a Transition P System Generating the Set ....pdf},
	author = {Antonio J. P{\'e}rez-Jim{\'e}nez and Mario J. P{\'e}rez-Jim{\'e}nez and Fernando Sancho-Caparrini},
	editor = {Matteo Cavaliere and Carlos Mart{\'\i}n-Vide and Gheorghe Paun}
}
