Exportar referência
APA
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida, (2012). Verification of MPI Programs Using Session Types. EuroMPI 2012, -
IEEE
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida, "Verification of MPI Programs Using Session Types" in EuroMPI 2012, Viena, Austria, 2012, pp. -,
doi:
BIBTEX
@InProceedings{33827,
author = {Kohei Honda and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and Vasco Thudichum Vasconcelos and Nobuko Yoshida},
title = {Verification of MPI Programs Using Session Types},
booktitle = {EuroMPI 2012},
year = 2012,
pages = {-},
address = {Viena, Austria},
publisher = {}
}