BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Other

Document subtype
Preprint

Title
Protocol-based verification of MPI programs

Participants in the publication
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)

Date of Publication
2014

Publication Identifiers


Export

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 }