Browsing by Subject planning
Showing results 1 to 1 of 1
Author(s) | Title | Issue Date | Type |
---|---|---|---|
Oliveira, Anna Carolina Carvalho Moreira de | Model checking dolev-yao multi-agent epistemic logic | Mar-2018 | Dissertação |
|
Author(s) | Title | Issue Date | Type |
---|---|---|---|
Oliveira, Anna Carolina Carvalho Moreira de | Model checking dolev-yao multi-agent epistemic logic | Mar-2018 | Dissertação |