autores
- Cledou, G
- José Proença
- Proenca, J
- Barbosa, L. S.
- Barbosa, L.S.
A Refinement Relation for Families of Timed Automata
Artigo de Conferência
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos