@InProceedings{SCI:Vak2008a,
  author =    "S. Vakkalanka and M. DeLisi and G. Gopalakrishnan
              and R.M. Kirby and R. Thakur and W. Gropp",
  title =     "Implementing Efficient Dynamic Formal Verification
              Methods for {MPI} Programs",
  booktitle = "Recent Advances in Parallel Virtual Machine and
              Message Passing Interface
Lecture Notes in
              Computer Science",
  volume =    "5205",
  pages =     "248--256",
  year =      "2008",
  month =     "September",
  location =  "Dublin, Ireland",
}