Verifying a P system generating squares
| 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 |
Research Group on Natural Computing (PAI - TIC 193)
Department of Computer Science and Artificial Intelligence
University of Seville
Webmasters: the members of the RGNC
| Follow us: |  |
 |
|
Featured News: |
|
Mario J. Pérez-Jiménez in the top 2% of scientists of the World |
|
Agustín became Full Professor |
|
Science names our most recent research project |