%0 Thesis
%T Verificação formal aplicada à análise de confiabilidade de sistemas hidráulicos
%U http://tede.unioeste.br/handle/tede/4045
%I Universidade Estadual do Oeste do Paraná