Implementación de un verificador de modelos CTL simbólico en Haskell

Archivos

Iniciar lectura
0796763.pdf (1.75 MB)

0796763_A2.zip (22.95 MB)

Fecha de publicación

Autores

Fernández Chaparro Plata, Javier Diego

Asesores

Hernández, Noé Salomón

Colecciones

Tesis de licenciatura

Institución

Universidad Nacional Autónoma de México

Escuela o Facultad

Facultad de Ingeniería

Área del conocimiento

Ciencias Físico - Matemáticas y de las Ingenierías

Título o grado

Ingeniero en Computación

Fuente

URI

https://hdl.handle.net/20.500.14330/TES01000796763

Página completa del ítem