2004 | ||
---|---|---|
2 | EE | Carmen Graciani Díaz, Mario J. Pérez-Jiménez: Using Automated Reasoning Systems on Molecular Computing. DNA 2004: 128-137 |
2002 | ||
1 | EE | Carmen Graciani Díaz, Francisco-Jesús Martín-Mateos, Mario J. Pérez-Jiménez: Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment. UMC 2002: 126-136 |
1 | Francisco-Jesús Martín-Mateos | [1] |
2 | Mario J. Pérez-Jiménez | [1] [2] |