@InProceedings{SCI:Per2007a,
  author =    "S. Pervez and G. Gopalakrishnan and R.M. Kirby and
              R. Palmer and R. Thakur and W. Gropp",
  title =     "Practical Model Checking Method for Verifying
              Correctness of MPI Programs",
  booktitle = "Recent Advances in Parallel Virtual Machine and
              Message Passing Interface - Proceedings of
              EuroPVM-MPI 2007",
  volume =    "4757/2007",
  pages =     "344--353",
  year =      "2007",
  location =  "Paris, France",
}