Verifying a P system generating squares

Fri, 11/23/2007 - 13:56 — ana

Title	Verifying a P system generating squares
Publication Type	Journal Papers
Year of Publication	2002
Authors	Pérez-Jiménez, M. J., & Sancho-Caparrini F.
Journal Title	Romanian Journal of Information Science and Technology
Publisher	EDITURA ACADEMIEI ROMÂNE
Place Published	Bucureşti, România
Volume	5
Pages	181-191
Keywords	Formal Verification, Membrane computing, Natural computing
URL	http://www.cs.us.es/~marper/investigacion/resumen-cuadrados.pdf
Issue	1-2
ISSN Number	1453-8245