%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 }