Sascha Klüppelholz

Aus International Center for Computational Logic
Version vom 5. März 2025, 15:46 Uhr von Johannes Lehmann (Diskussion | Beiträge) (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

Dr.-Ing. Sascha Klüppelholz

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Algebraische und logische Grundlagen der Informatik