BIBLIOS

   Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Outros

Tipo de Documento
pre-prints

Título
Protocol-based verification of MPI programs

Participantes na publicação
Eduardo R. B. Marques (Author)
Francisco Martins (Author)
Dep. Informática
 LASIGE
 Vasco T. Vasconcelos (Author)
César Santos (Author)
Nicholas Ng (Author)
Nobuko Yoshida (Author)

Data de Publicação
2014

Identificadores da Publicação


Exportar referência

APA
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, César Santos, Nicholas Ng, Nobuko Yoshida, (2014). Protocol-based verification of MPI programs

IEEE
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, César Santos, Nicholas Ng, Nobuko Yoshida, "Protocol-based verification of MPI programs", 2014

BIBTEX
@misc{34344, author = {Eduardo R. B. Marques and Francisco Martins and Vasco T. Vasconcelos and César Santos and Nicholas Ng and Nobuko Yoshida}, title = {Protocol-based verification of MPI programs}, year = 2014 }