Amorim, Marcelo de Moura
Resultado: Exibindo 1 de 1 na pagina 1 de 1
<<< Início << Anterior 1 Próximo >> Fim >>>
Nome
Título
Área
Documento
Unidade
Ano
Uma técnica de verificação para `pi¦-calculus baseada em bi-simulação up-to e algoritmos...
<<< Início << Anterior 1 Próximo >> Fim >>>
Resultado: Exibindo 1 de 1 na pagina 1 de 1
Copyright © 2024 Biblioteca Digital de Teses e Dissertações da USP. Todos os direitos reservados.