...Project
This project is supported by the BMBF (Bundesministerium für Forschung und Technologie)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...IV
URL http://www.informatik.uni-mannheim.de/informatik/pi4/
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

Christoph Kuhmünch cjk@pi4.informatik.uni-mannheim.de