Departamento de Teoria da Computação

Trab. Comp. em Anais de Congr. Nac.

  1. Arnaldo Vieira Moura, Adilson L. Bonifácio, João Batista de Camargo Jr. e Jorge R. de Almeida Jr., "Análise e Verificação de Segmentos de Via de uma Malha Metroviária", II Workshop em Métodos Formais, 1 , 13-21, (1999). [94732]