- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. PVM/MPI 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] |
| 6 | Anh Vo | [1] |