DBLP Record 'conf/pvm/VakkalankaDGKTG08'

BibTeX

@inproceedings{DBLP:conf/pvm/VakkalankaDGKTG08,
  author    = {Sarvani S. Vakkalanka and
               Michael Delisi and
               Ganesh Gopalakrishnan and
               Robert M. Kirby and
               Rajeev Thakur and
               William Gropp},
  title     = {Implementing Efficient Dynamic Formal Verification Methods
               for MPI Programs},
  booktitle = {PVM/MPI},
  year      = {2008},
  pages     = {248-256},
  ee        = {http://dx.doi.org/10.1007/978-3-540-87475-1_34},
  crossref  = {DBLP:conf/pvm/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pvm/2008,
  editor    = {Alexey L. Lastovetsky and
               M. Tahar Kechadi and
               Jack Dongarra},
  title     = {Recent Advances in Parallel Virtual Machine and Message
               Passing Interface, 15th European PVM/MPI Users' Group Meeting,
               Dublin, Ireland, September 7-10, 2008. Proceedings},
  booktitle = {PVM/MPI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5205},
  year      = {2008},
  isbn      = {978-3-540-87474-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}