Michael Wenz

	2006
3		Jürgen Becker, Kurt Brändle, Uwe Brinkschulte, Jörg Henkel, Wolfgang Karl, Thorsten Köster, Michael Wenz, Heinz Wörn: Digital On-Demand Computing Organism for Real-Time Systems. ARCS Workshops 2006: 230-245
2		Michael Wenz, Heinz Wörn: Automatic Configuration of the Dynamic Model for Common Industrial Robots. GI Jahrestagung (1) 2006: 137-144
	2001
1		Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller: Can American Checkers be Solved by Means of Symbolic Model Checking? Electr. Notes Theor. Comput. Sci. 43: (2001)

Coauthor Index

1	Michael Baldamus	[1]
2	Jürgen Becker	[3]
3	Kurt Brändle	[3]
4	Uwe Brinkschulte	[3]
5	Jörg Henkel	[3]
6	Wolfgang Karl	[3]
7	Thorsten Köster	[3]
8	Klaus Schneider	[1]
9	Heinz Wörn	[2] [3]
10	Roberto Ziller	[1]

Colors in the list of coauthors