TUD Logo

TUD Home » ... » Teaching » Winter Term 2018/19 » Doctoral Seminar „Advances in Probabilistic Model Checking“

Chair of Algebraic and Logical Foundations of Computer Science

Doctoral Seminar “Advances in Probabilistic Model Checking” (0/2/0)

Prof. Dr. Baier

Language: English


This seminar is mainly intended for students enrolled in a doctoral program in theoretical computer science.


The seminar addresses students that have profound knowledge in theoretical computer science and logics.


Doktor Informatik
FAK-INF-FF: Fakultative Fächer


In case of questions or problems please contact Dr. Klüppelholz.

Last modified: 15th Oct 2018, 12.32 PM
Author: Dipl.-Math. Sascha Wunderlich