SISTEMA INTEGRAL DE INFORMACIÓN ACADÉMICA - PÚBLICO
Un sencillo y eficiente verificador al vuelo para la lógica temporal CTL* escrito en Haskell
Sinodales: DAVID ARTURO ROSENBLUETH LAGUETTE;
Autores: Vázquez Reyes, Cenobio MoisésTipo de tesis: Tesis de MaestríaEntidad presentadora de examen profesional: Coordinación de Estudios de PosgradoEntidades por adscripción en la UNAM:
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas;