%0 Conference Paper %1 conf/pvm/VakkalankaDGKTG08 %A Vakkalanka, Sarvani S. %A Delisi, Michael %A Gopalakrishnan, Ganesh %A Kirby, Robert M. %A Thakur, Rajeev %A Gropp, William %B PVM/MPI %D 2008 %E Lastovetsky, Alexey L. %E Kechadi, M. Tahar %E Dongarra, Jack J. %I Springer %K dblp %P 248-256 %T Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. %U http://dblp.uni-trier.de/db/conf/pvm/pvm2008.html#VakkalankaDGKTG08 %V 5205 %@ 978-3-540-87474-4

@inproceedings{conf/pvm/VakkalankaDGKTG08, added-at = {2021-10-14T00:00:00.000+0200}, author = {Vakkalanka, Sarvani S. and Delisi, Michael and Gopalakrishnan, Ganesh and Kirby, Robert M. and Thakur, Rajeev and Gropp, William}, biburl = {https://www.bibsonomy.org/bibtex/2ec6158df801a5e370df08ca3c9bd43f4/dblp}, booktitle = {PVM/MPI}, crossref = {conf/pvm/2008}, editor = {Lastovetsky, Alexey L. and Kechadi, M. Tahar and Dongarra, Jack J.}, ee = {https://doi.org/10.1007/978-3-540-87475-1_34}, interhash = {363e874f7456076e84a1fc1e2dce38e4}, intrahash = {ec6158df801a5e370df08ca3c9bd43f4}, isbn = {978-3-540-87474-4}, keywords = {dblp}, pages = {248-256}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T11:34:18.000+0200}, title = {Implementing Efficient Dynamic Formal Verification Methods for MPI Programs.}, url = {http://dblp.uni-trier.de/db/conf/pvm/pvm2008.html#VakkalankaDGKTG08}, volume = 5205, year = 2008 }