| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |
Data released under the ODC-BY 1.0 license — See also our legal information page