Exportar referência
APA
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco T. Vasconcelos, Nobuko Yoshida, (2012). Verification of MPI Programs Using Session Types. Recent Advances in the Message Passing Interface,Lecture Notes in Computer Science, 291-293
IEEE
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco T. Vasconcelos, Nobuko Yoshida, "Verification of MPI Programs Using Session Types" in Recent Advances in the Message Passing Interface,Lecture Notes in Computer Science, 2012, pp. 291-293
BIBTEX
@incollection{51010,
author = {Kohei Honda and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and Vasco T. Vasconcelos and Nobuko Yoshida},
title = {Verification of MPI Programs Using Session Types},
booktitle = {Recent Advances in the Message Passing Interface,Lecture Notes in Computer Science},
year = 2012,
pages = {291-293},
address = {},
publisher = {Springer Berlin Heidelberg}
}