dblp.uni-trier.dewww.uni-trier.de

Carmen Graciani Díaz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
2EECarmen Graciani Díaz, Mario J. Pérez-Jiménez: Using Automated Reasoning Systems on Molecular Computing. DNA 2004: 128-137
2002
1EECarmen 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

Coauthor Index

1Francisco-Jesús Martín-Mateos [1]
2Mario J. Pérez-Jiménez [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)