Semantik und Verifikation paralleler Systeme
Auf dieser Seite finden Sie eine Auflistung unserer ehemaligen regelmäßigen Lehrveranstaltungen. Aufgrund des Weggangs von Prof. Dr. Marie-Christine Jakobs an die LMU München bieten wir keine Lehrveranstaltungen und Abschlussarbeiten mehr an.