%0 Thesis
%T Uma biblioteca de padr?es de especifica??o em Event-B para mecanismos de troca de mensagens em sistema distribu?dos
%U http://tede2.pucrs.br/tede2/handle/tede/5197
%I Pontif?cia Universidade Cat?lica do Rio Grande do Sul