Formal verification of programs in molecular models with random access memory
| Title | Formal verification of programs in molecular models with random access memory |
| Publication Type | Contributions to Book Chapters |
| Year of Publication | 2005 |
| Authors | Pérez-Jiménez, M. J., & Sancho-Caparrini F. |
| Editors | Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. |
| Book Title | Recent results in Natural Computing |
| Publisher | Fénix Editora |
| Place Published | Sevilla, Spain |
| Pages | 205-229 |
| URL | http://www.cs.us.es/~marper/investigacion/recent-2.pdf |
| Attachment | Size |
|---|---|
| recent-2.pdf | 86.78 KB |
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 |