Navegando por Orientador Lopes, Bruno
Mostrando resultados 1 a 1 de 1
Autor(es) | Título | Data do documento | Tipo |
---|---|---|---|
Oliveira, Anna Carolina Carvalho Moreira de | Model checking dolev-yao multi-agent epistemic logic | Mar-2018 | Dissertação |