@mastersthesis{mastersthesis848e1994,
title   = {Uma contribuição ao estudo de simulação de falhas em circuitos combinacionais e gerenciamento automatizado para obtenção de vetores de teste},
author = {Ferreira, Rivaldo de Oliveira and Amazonas, José Roberto de Almeida},
year = {1992},
school = {Universidade de São Paulo}
}