%0 Thesis
%T Metodologia de análise de sistemas de proteção com controle distribuído através da ferramenta de modelagem e verificação formal estatística
%U http://tede.unioeste.br/handle/tede/3398
%I Universidade Estadual do Oeste do Paraná