Institute: E384 - Institute of Computer Technology Further search in the publications of: Bernd Thiemann Institute: E384 - Institute of Computer Technology