Ir para o conteúdo principal
Dissertação de mestrado
Acesso aberto
Regular expressions for timed automata
Autor(es)
Ribeiro, Paulo
Orientador(es)
Barbosa, Luís Nuno Sousa Martinho Soares
Neves, Renato Jorge Araújo
Ficheiros
Paulo Jorge Sousa Alves Ribeiro.pdf
(11.73 MB)
Embargo
Tipo de Documento
Dissertação de mestrado
Idioma
Coleções
BUM - Dissertações de mestrado | Master thesis
A carregar...
Ver registo completo