Algorithmische Analyse von nebenläufigen Systemen Projektnummer J 4220 Schrödinger-Programm ProjektleiterIn Kuratoriumssitzung 25.06.2018 Projekt-Details