|
Lehrveranstaltungen Sommersemester 2017Vorlesung „Advanced Logics“Prof. Dr. BaierSWS: (4/2/0) Vorlesung „Binäre Entscheidungsgraphen“Dr. Klüppelholz und Prof. Dr. BaierSWS: (2/0/0) Proseminar „Theoretische Informatik“Prof. Dr. BaierSWS: (0/2/0) Seminar „Selected Topics in Logic and Verification“Prof. Dr. BaierSWS: (0/2/0) Doktorandenseminar „Advances in Probabilistic Model Checking“Prof. Dr. BaierSWS: (0/2/0) Komplexpraktikum „Modellierung und quantitative Systemanalyse I“Prof. Dr. BaierSWS: (0/0/4) Komplexpraktikum „Modellierung und quantitative Systemanalyse II“Prof. Dr. BaierSWS: (0/0/8) Project group „Model Checking“Prof. Dr. BaierSWS: (0/0/4) Lab course „Modeling and Automated Verification“Prof. Dr. BaierSWS: (0/2/0) ProfilmoduleProf. Dr. BaierSWS: (0/0/8) |
|