| 2005 |
|---|
| 4 | EE | Martin Leucker,
Thomas Noll,
Perdita Stevens,
Michael Weber:
Functional programming languages for verification tools: a comparison of Standard ML and Haskell.
STTT 7(2): 184-194 (2005) |
| 2003 |
|---|
| 3 | EE | Martin Leucker,
Rafal Somla,
Michael Weber:
Parallel Model Checking for LTL, CTL*, and Lµ2.
Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
| 2002 |
|---|
| 2 | EE | Benedikt Bollig,
Martin Leucker,
Michael Weber:
Local Parallel Model Checking for the Alternation-Free µ-Calculus.
SPIN 2002: 128-147 |
| 2001 |
|---|
| 1 | EE | Benedikt Bollig,
Martin Leucker,
Michael Weber:
Parallel Model Checking for the Alternation Free µ-Calculus.
TACAS 2001: 543-558 |
