%0 Thesis
%T Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
%U http://tede.ufam.edu.br/handle/tede/4091
%I Universidade Federal do Amazonas