Quantitative Model Checking Holger Hermanns, Martina Maggio


Delayed start on May 4.

Written: 03.05.2022 08:46 Written By: Holger Hermanns

Dear students of QMC,

Due to a conflicting appointment, the start of tomorrow's lecture (May 4) is delayed to 2:40 pm, we then continue without break until 4 pm.

See you,
  Holger Hermanns

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators