Joost-Pieter Katoen - Home page

http://www-i2.informatik.rwth-aachen.de/~katoen/

Keine Beschreibung vorhanden.

http://www.ti.inf.uni-due.de/publications/author-koenig.shtml

Keine Beschreibung vorhanden.