| |
| 1997 | ||
|---|---|---|
| 3 | Nils Buhrke, Wolfgang Thomas, Jens Vöge: Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. FBT 1997: 99-108 | |
| 2 | Jens Vöge, S. Ulbrand, Oliver Matz, Nils Buhrke: The Automata Theory Package omega. Workshop on Implementing Automata 1997: 228-231 | |
| 1996 | ||
| 1 | Nils Buhrke, Helmut Lescow, Jens Vöge: Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. TACAS 1996: 207-224 | |
| 1 | Helmut Lescow | [1] |
| 2 | Oliver Matz | [2] |
| 3 | Wolfgang Thomas | [3] |
| 4 | S. Ulbrand | [2] |
| 5 | Jens Vöge | [1] [2] [3] |