{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
P\'e9rez-Jim\'e9nez, A. J., P\'e9rez-Jim\'e9nez M. J., & Sancho-Caparrini F.  (2003).??Formal verification of a transition P system generating the set 2^n+n^2+n:n>=1.  (Matteo Cavaliere, Carlos Mart\'edn-Vide, Gheorghe Paun, Ed.).\ul First Brainstorming Week on Membrane Computing. \ul0  261-269.\par \par }