![]() | ![]() |
Dresden University of Technology
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
2008 | ||
---|---|---|
4 | EE | Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein: Reduction Techniques for Model Checking Markov Decision Processes. QEST 2008: 45-54 |
2007 | ||
3 | EE | Joachim Klein, Christel Baier: On-the-Fly Stuttering in the Construction of Deterministic omega -Automata. CIAA 2007: 51-61 |
2006 | ||
2 | EE | Joachim Klein, Christel Baier: Experiments with deterministic omega-automata for formulas of linear temporal logic. Theor. Comput. Sci. 363(2): 182-195 (2006) |
2005 | ||
1 | EE | Joachim Klein, Christel Baier: Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic. CIAA 2005: 199-212 |
1 | Christel Baier | [1] [2] [3] [4] |
2 | Frank Ciesinski | [4] |
3 | Marcus Größer | [4] |