BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Especificação e Verificação de Protocolos para Programas MPI. In INFORUM'13, pages 90-101, , Sept. 2013.

Participants in the publication
Nuno Martins (Author)
César Santos (Author)
Eduardo R. B. Marques (Author)
Francisco Martins (Author)
Dep. Informática
 LASIGE
 Vasco Thudichum Vasconcelos (Author)

Date of Publication
2013

Event
5th Simpósio de Informática (INFORUM)

Publication Identifiers

Address
Évora, Portugal


Export

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 = {} }