Nils Buhrke

	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

Coauthor Index

1	Helmut Lescow	[1]
2	Oliver Matz	[2]
3	Wolfgang Thomas	[3]
4	S. Ulbrand	[2]
5	Jens Vöge	[1] [2] [3]