Quantitative Model Checking Daniel Stan


Exercise sheet 6 submission open

Written: 12.06.2019 13:18 Written By: Daniel Stan

Dear students,

It appears that the submission entry file for exercise sheet 6, due for today, was not available, it is now the case so you can now submit your solution.


I'm taking the opportunity of this message to notify that some previous exercise/tutorial sheets have been augmented with some sample solutions, sometimes handwritten. More are to come. Also, several new exercise grades and project feedbacks will be available by Friday!


Best regards,

Daniel STAN

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