Especificação e Verificação de Protocolos para Programas MPI

TitleEspecificação e Verificação de Protocolos para Programas MPI
Publication TypeJournal Article
Year of Publication2013
AuthorsMartins, N. Dias, C. Santos, E. R. B. Marques, F. Martins, and V. T. Vasconcelos
JournalINFORUM