|
Lehrveranstaltungen Sommersemester 2016Vorlesung „Advanced Logics“Prof. Dr. BaierSWS: (4/2/0) Vorlesung „Entwurfs- und Analysemethoden für Algorithmen“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) Projektgruppe „Model Checking“Prof. Dr. BaierSWS: (0/0/4) Laborkurs „Modeling and Automated Verification“Prof. Dr. BaierSWS: (0/2/0) ProfilmoduleProf. Dr. BaierSWS: (0/0/8) |
|