Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/ictac/CostaJO10
%A da Costa, Umberto Souza
%A de Medeiros Júnior, Ivan Soares
%A Oliveira, Marcel Vinícius Medeiros
%B ICTAC
%D 2010
%E Cavalcanti, Ana
%E Déharbe, David
%E Gaudel, Marie-Claude
%E Woodcock, Jim
%I Springer
%K dblp
%P 168-183
%T Specification and Verification of a MPI Implementation for a MP-SoC.
%U http://dblp.uni-trier.de/db/conf/ictac/ictac2010.html#CostaJO10
%V 6255
%@ 978-3-642-14807-1
@inproceedings{conf/ictac/CostaJO10,
added-at = {2018-05-09T00:00:00.000+0200},
author = {da Costa, Umberto Souza and de Medeiros Júnior, Ivan Soares and Oliveira, Marcel Vinícius Medeiros},
biburl = {https://www.bibsonomy.org/bibtex/227b360da997f0f3f5242ec078b4b8fb8/dblp},
booktitle = {ICTAC},
crossref = {conf/ictac/2010},
editor = {Cavalcanti, Ana and Déharbe, David and Gaudel, Marie-Claude and Woodcock, Jim},
ee = {https://doi.org/10.1007/978-3-642-14808-8_12},
interhash = {cbefc8bf19c89245af6eaccd7ff46cfe},
intrahash = {27b360da997f0f3f5242ec078b4b8fb8},
isbn = {978-3-642-14807-1},
keywords = {dblp},
pages = {168-183},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T12:34:19.000+0200},
title = {Specification and Verification of a MPI Implementation for a MP-SoC.},
url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2010.html#CostaJO10},
volume = 6255,
year = 2010
}