autores
- Almeida, JoseCarlosBacelar
- Almeida, José Bacelar
- Moreira, N.
- David M. Pereira
- De Sousa, S.M.
- Sousa, Simão Melo de
Partial derivative automata formalized in coq
Artigo Académico
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2011