Terminal de consulta web

Grau de indecidibilidade da universidade para subclasses de automatos temporizados

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