2000 | ||
---|---|---|
5 | EE | Helmut Lescow, Jens Vöge: Minimal Separating Sets for Acceptance Conditions in Muller Automata. Theor. Comput. Sci. 231(1): 47-57 (2000) |
1997 | ||
4 | Helmut Lescow, Jens Vöge: Minimal Separating Sets for Muller Automata. Workshop on Implementing Automata 1997: 109-121 | |
1996 | ||
3 | Nils Buhrke, Helmut Lescow, Jens Vöge: Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. TACAS 1996: 207-224 | |
1995 | ||
2 | Helmut Lescow: On Polynomial-Size Programs Winning Finite-State Games. CAV 1995: 239-252 | |
1993 | ||
1 | Wolfgang Thomas, Helmut Lescow: Logical Specifications of Infinite Computations. REX School/Symposium 1993: 583-621 |
1 | Nils Buhrke | [3] |
2 | Wolfgang Thomas | [1] |
3 | Jens Vöge | [3] [4] [5] |