Nils Buhrke

Publication Activity (10 Years)

Years Active: 1996-1997
Publications (10 Years): 0

Publications

Nils Buhrke, Wolfgang Thomas, Jens Vöge
Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. FBT (1997)
Jens Vöge, S. Ulbrand, Oliver Matz, Nils Buhrke
. Workshop on Implementing Automata (1997)
Nils Buhrke, Helmut Lescow, Jens Vöge
Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. TACAS (1996)