university search sitemap contact Universität Stuttgart Departments | Computer Science | Faculty Institute of Formal Methods in Computer Science : Publications Postdoctoral Qualifications   König, Barbara: Analysis and Verification of Systems with Dynamically Evolving Structure, Postdoctoral Qualification, 2004. Lohrey, Markus: Computational and logical aspects of infinite monoids, Postdoctoral Qualification, 2003. Petersen, Holger: Gegenseitige Simulation von Datenstrukturen, Postdoctoral Qualification, 2003.

Last Modified April 20, 2025( Webmaster )  | © University of Stuttgart |  Legal notice