IAS Group (prof. Michael Beetz, prof. Bernd Radig) with New Webpage
Please note that prof. Beetz's, prof Radig's and their personnel's webpages moved to the new URL address: http://ias.cs.tum.edu. Please update your references and bookmarks.
Your friendly IAS Group
