Nils Buhrke

According to our database, Nils Buhrke authored at least 3 papers between 1996 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1997

The Automata Theory Package <i>omega</i>.

Jens Vöge, S. Ulbrand, Oliver Matz, Nils Buhrke

Proceedings of the Automata Implementation, 1997

Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik.

Nils Buhrke, Wolfgang Thomas, Jens Vöge

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996

Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions.

Nils Buhrke, Helmut Lescow, Jens Vöge

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996