Salman Pervez

	2007
2		Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp: Practical Model-Checking Method for Verifying Correctness of MPI Programs. PVM/MPI 2007: 344-353
	2006
1		Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp: Formal Verification of Programs That Use MPI One-Sided Communication. PVM/MPI 2006: 30-39

Coauthor Index

1	Ganesh Gopalakrishnan	[1] [2]
2	William Gropp (William D. Gropp, Bill Gropp)	[1] [2]
3	Robert M. Kirby (Mike Kirby)	[1] [2]
4	Robert Palmer	[2]
5	Rajeev Thakur	[1] [2]