Tesis
Grau de indecidibilidade da universidade para subclasses de automatos temporizados
Registro en:
(Broch)
Autor
Pinto, Guilherme Albuquerque
Institución
Resumen
Orientador: Arnaldo Vieira Moura Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica Doutorado