@inproceedings{onesided-europvm06,
author = {Salman Pervez and Ganesh Gopalakrishnan and Robert {M.} Kirby and
Rajeev Thakur and William Gropp},
title  = {Formal Verification of Programs that use {MPI} One-sided Communication},
booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface (EuroPVM/{MPI}),
  LNCS  4192}, 
note = {Outstanding Paper},
pages = {30-39},
year = 2006
}