| |
| 2009 | ||
|---|---|---|
| 1 | EE | Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: Formal verification of practical MPI programs. PPOPP 2009: 261-270 |
| 1 | Michael Delisi | [1] |
| 2 | Ganesh Gopalakrishnan | [1] |
| 3 | Robert M. Kirby (Mike Kirby) | [1] |
| 4 | Rajeev Thakur | [1] |
| 5 | Sarvani S. Vakkalanka | [1] |