Formal verifications of programs in molecular models with random access memory

• Autores: Mario de Jesús Pérez Jiménez , Fernando Sancho Caparrini
• Localización: Recent results in natural computing / coord. por Mario de Jesús Pérez Jiménez , Alvaro Romero Jiménez, Fernando Sancho Caparrini , 2004, ISBN 84-609-6864-2, págs. 205-229
• Idioma: inglés
• Texto completo no disponible (Saber más ...)