| 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 | EE | 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) |
