@InProceedings{SCI:Per2006a,
  author =    "S. Pervez and G. Gopalakrishnan and R.M. Kirby and
              R. Thakur and W. Gropp",
  title =     "Formal Verification of Programs that use MPI
              One-Sided Communications",
  booktitle = "Proceedings of EuroPVM-MPI 2006",
  year =      "2006",
  month =     "September 17-20",
  location =  "Bonn, Germany",
}