Pivetta, P. J. P., & Dotti, F. L. (2013). Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos. Pontifícia Universidade Católica do Rio Grande do Sul.
Chicago Style (17th ed.) CitationPivetta, Paulo Junior Penna, and Fernando Luís Dotti. Uma Biblioteca De Padrões De Especificação Em Event-B Para Mecanismos De Troca De Mensagens Em Sistema Distribuídos. Pontifícia Universidade Católica do Rio Grande do Sul, 2013.
MLA (8th ed.) CitationPivetta, Paulo Junior Penna, and Fernando Luís Dotti. Uma Biblioteca De Padrões De Especificação Em Event-B Para Mecanismos De Troca De Mensagens Em Sistema Distribuídos. Pontifícia Universidade Católica do Rio Grande do Sul, 2013.
Warning: These citations may not always be 100% accurate.