Grau de indecidibilidade da universidade para subclasses de automatos temporizados
Guilherme Albuquerque Pinto
TESE
Português
(Broch)
T/UNICAMP P658g
Campinas, SP : [s.n.], 2003.
127p. : il.
Orientador: Arnaldo Vieira Moura
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação
Grau de indecidibilidade da universidade para subclasses de automatos temporizados
Guilherme Albuquerque Pinto
Grau de indecidibilidade da universidade para subclasses de automatos temporizados
Guilherme Albuquerque Pinto
Exemplares
Nº de exemplares: 2
Não existem reservas para esta obra