Adresse Technische Universität Dresden Fakultät Informatik Institut für Systemarchitektur Professur für Betriebssysteme 01062 Dresden
ORCID-ID 0000-0002-1427-9343