SISTEMA INTEGRAL DE INFORMACIÓN ACADÉMICA - PÚBLICO
Pattern models : dynamic epistemic logics for distributed systems
Sinodales:
ARMANDO CASTAÑEDA ROJANO
;
DAVID ARTURO ROSENBLUETH LAGUETTE
;
Autores:
Velázquez Cervantes, Diego Alejandro
Tipo de tesis:
Tesis de Doctorado
Entidad presentadora de examen profesional:
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas
Entidades por adscripción en la UNAM:
Instituto de Matemáticas;
Fuente:
Tipo de producto:
TESIS
URL:
Ver tesis