@inproceedings{salman-europvmmpi07,
author = {Salman Pervez and Robert Palmer and Ganesh Gopalakrishnan
 and Robert {M.} Kirby and  Rajeev Thakur and William Gropp},
title = {Practical Model Checking Method for Verifying Correctness of
 MPI Programs},
booktitle = {EuroPVM/MPI},
pages = {344--353},
note = {LNCS 4757},
year = 2007}