%0 Thesis
%T Verifica??o de modelos uml de software embarcado com model checking
%U http://tede.ufam.edu.br/handle/tede/2956
%I Universidade Federal do Amazonas