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] |