Sascha Klüppelholz

„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.

Dr.-Ing. Sascha Klüppelholz

Wissenschaftlicher MitarbeiterTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Verifikation und formale quantitative Analyse

• Homepage
• DBLP
• Google Scholar

•   sascha.klueppelholz@tu-dresden.de
•   +49 351 463 38440
•   +49 351 463 38348
•   APB 3007