TUD Logo

TUD Startseite » ... » Lehre » Sommersemester 2017 » Doktorandenseminar “Advances in Probabilistic Model Checking”

Algebraische und logische Grundlagen der Informatik

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

Prof. Dr. Baier

Language: English

Description

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

Dates

Prerequisites

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

Creditability

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

Contact

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

Stand: 10.3.2017, 12:54 Uhr
Autor: Dr.-Ing. Sascha Klüppelholz