| |
| 2006 | ||
|---|---|---|
| 1 | EE | Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125 |
| 1 | Ganesh Gopalakrishnan | [1] |
| 2 | Robert M. Kirby (Mike Kirby) | [1] |
| 3 | Igor Melatti | [1] |
| 4 | Robert Palmer | [1] |
| 5 | Yu Yang | [1] |