| |
| 2008 | ||
|---|---|---|
| 2 | EE | Diana Fischer, Erich Grädel, Lukasz Kaiser: Model Checking Games for the Quantitative µ-Calculus. STACS 2008: 301-312 |
| 1 | EE | Diana Fischer, Erich Grädel, Lukasz Kaiser: Model Checking Games for the Quantitative mu-Calculus CoRR abs/0802.2871: (2008) |
| 1 | Erich Grädel | [1] [2] |
| 2 | Lukasz Kaiser | [1] [2] |