área de pesquisa Duarte Lopes de Oliveira Síntese comportamental de circuitos assíncronos otimizados Um Fluxo de Ferramentas para Síntese de Controladores Assíncronos a partir de Especificações STG Estendido
