Projects
| Project | Duration | Status |
|---|---|---|
| AVIACC - Análise e Verificação de Programas Concorrentes Críticos | 36months | Completed |
| CANTE: Descriptional and computational complexity of formal languages | 45months | Completed |
| Project | Duration | Status |
|---|---|---|
| AVIACC - Análise e Verificação de Programas Concorrentes Críticos | 36months | Completed |
| CANTE: Descriptional and computational complexity of formal languages | 45months | Completed |