SISTEMA INTEGRAL DE INFORMACIÓN ACADÉMICA - PÚBLICO
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ánTipo de tesis: Tesis de MaestríaEntidad presentadora de examen profesional: Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasEntidades por adscripción en la UNAM:
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas;