%0 Thesis
%T Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
%U http://tede.ufam.edu.br/handle/tede/4984
%I Universidade Federal do Amazonas