I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
HTTP Error 404 - File Not Found

The requested file is not available. Please check the URI you entered.
This was: http://www7.in.tum.de/site.old/00global/03error_pages/index.php?id=error&arg=404

If the information you are looking for regards research done or courses taught prior to October 2004, then you are likely to find it in the same location on the server wind.in.tum.de, which hosts the old homepage of the chair. In this case, we apologise for the inconvenience. Please update possible bookmarks and be aware that the server wind will be available for a limited time only.

If you clicked on a link within our homepage, we kindly ask you to send a short email to webmaster@model.in.tum.de and describe where the dead link is located.