![]() | ![]() |
2008 | ||
---|---|---|
3 | EE | Jonathan Ezekiel, Gerald Lüttgen: Measuring and Evaluating Parallel State-Space Exploration Algorithms. Electr. Notes Theor. Comput. Sci. 198(1): 47-61 (2008) |
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] |
3 | Radu Siminiceanu | [1] |