| |
| 2007 | ||
|---|---|---|
| 2 | EE | Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo: Parallelising Symbolic State-Space Generators. CAV 2007: 268-280 |
| 2006 | ||
| 1 | EE | Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu: Can Saturation Be Parallelised? FMICS/PDMC 2006: 331-346 |
| 1 | Gianfranco Ciardo | [2] |
| 2 | Gerald Lüttgen | [1] [2] |
| 3 | Radu Siminiceanu | [1] |