Karlsruhe
http://www.ptv.de Type of Organization: Industry
iZEUS External Link: http://www.izeus.kit.edu/
Efficient Algorithms