uni suche sitemap kontakt Universität Stuttgart Abteilungen | Informatik | Fakultät Institut für Formale Methoden der Informatik : Veröffentlichungen Habilitationen   König, Barbara: Analysis and Verification of Systems with Dynamically Evolving Structure, Habilitation, 2004. Lohrey, Markus: Computational and logical aspects of infinite monoids, Habilitation, 2003. Petersen, Holger: Gegenseitige Simulation von Datenstrukturen, Habilitation, 2003.

Letzte Änderung 1. Dezember 2024( Webmaster )  | © Universität Stuttgart |  Impressum