Ver Publicación - Prisma - Unidad de Bibliometría

Formal verifications of programs in molecular models with random access memory

Mario de Jesús Pérez Jiménez; Fernando Sancho Caparrini

Tipo: Capítulo
Año de Publicación: 2005
Páginas: 205 - 229
Fuente Nº Citas Fecha Actualización
dialnet002-10-2024

IDR año:

Factor de Impacto:

0,000

CategoríaPosiciónCuartilPercentil
EditorialPuntuación
Fénix EditoraBajo
No exiten datos para esta publicación