Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. - Nils Buhrke; Helmut Lescow; Jens Vöge (TACAS, 1996)

Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. - Nils Buhrke; Wolfgang Thomas; Jens Vöge (FBT, 1997)

The Automata Theory Package omega. - Jens Vöge; S. Ulbrand; Oliver Matz; Nils Buhrke (Workshop on Implementing Automata, 1997)