Verificación simbólica de redes genéticas mediante una lógica temporal híbrida

Sinodales:
DAVID ARTURO ROSENBLUETH LAGUETTE;
Autores:
Argil Torres, José Julián
Tipo de tesis:
Tesis de Maestría
Entidad presentadora de examen profesional:
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas
Entidades por adscripción en la UNAM:
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas;