Exportar referência
APA
Nuno Martins, César Santos, Eduardo R. B. Marques, Francisco Martins, Vasco Thudichum Vasconcelos, (2013). Especificação e Verificação de Protocolos para Programas MPI. In INFORUM'13, pages 90-101, , Sept. 2013.. 5th Simpósio de Informática (INFORUM), -
IEEE
Nuno Martins, César Santos, Eduardo R. B. Marques, Francisco Martins, Vasco Thudichum Vasconcelos, "Especificação e Verificação de Protocolos para Programas MPI. In INFORUM'13, pages 90-101, , Sept. 2013." in 5th Simpósio de Informática (INFORUM), Évora, Portugal, 2013, pp. -,
doi:
BIBTEX
@InProceedings{34073,
author = {Nuno Martins and César Santos and Eduardo R. B. Marques and Francisco Martins and Vasco Thudichum Vasconcelos},
title = {Especificação e Verificação de Protocolos para Programas MPI. In INFORUM'13, pages 90-101, , Sept. 2013.},
booktitle = {5th Simpósio de Informática (INFORUM)},
year = 2013,
pages = {-},
address = {Évora, Portugal},
publisher = {}
}