Repositorio Dspace

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

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

Título: Verificación simbólica de redes genéticas mediante una lógica temporal híbrida;
|a Verificación simbólica de redes genéticas mediante una lógica temporal híbrida |c tesis que para obtener el grado de Maestro en Ciencia e Ingeniería de la Computación, presenta José Julián Argil Torres ; asesor David Arturo Rosenblueth Laguette
Argil Torres, José Julián; Argil Torres, José Julián::si::SinIdentificador
URI: http://www.ru.iimas.unam.mx/handle/IIMAS_UNAM/TES01000645103
Fecha: 2009

Mostrar el registro completo del ítem

Ficheros en el ítem

Icon
Nombre: 000645103.mrc
Tamaño: 1.417Kb
Formato: Desconocido
Descripción: Registro bibliográfico ...
Ver/
Thumbnail
Nombre: 0645103_A1.pdf
Tamaño: 4.631Mb
Formato: PDF
Descripción: Texto Completo
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

http://creativecommons.org/licenses/by-nc-nd/4.0 Excepto si se señala otra cosa, la licencia del ítem se describe como http://creativecommons.org/licenses/by-nc-nd/4.0