Travelled to:1 × Canada
1 × Germany
Collaborated with:J.Vöge H.Lescow S.Ulbrand O.Matz
Talks about:construct (1) strategi (1) automata (1) streett (1) infinit (1) theori (1) packag (1) condit (1) rabin (1) omega (1)
Person: Nils Buhrke
DBLP: Buhrke:Nils
Contributed to:
1997
1996Wrote 2 papers:
- WIA-1997-VogeUMB #automaton
- The Automata Theory Package omega (JV, SU, OM, NB), pp. 228–231.
- TACAS-1996-BuhrkeLV #infinity
- Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions (NB, HL, JV), pp. 207–224.