List of Accepted Reports for the 1st Mini Project

Semantics & Verification, Spring 2008

---

The following students will get an exam dispensation for the exam question "Alternating Bit Protocol and its Modelling Using CWB". Only the student numbers are listed. Please, check that your number is on the list. If it is not there, you won't be given any dispensation at the exam. It is your responsibility to contact the lecturer (Jiri Srba) as soon as possible if you think that you should be on the list and you are not.

If you would like to get some feedback on your solution, please, send an email to Jiri and agree on a meeting. Jiri would be very glad to discuss any issues you might have regarding this project.

20010538
20021981
20033592
20041830
20042320
20042325
20042334
20043543
20043695
20050683
20050685
20050705
20051908
20052217
20052219
20052220
20052221
20052223
20052227
20052229
20052230
20052234
20052235
20052247
20060352
20061981
20063865
20063866
20063867
20070908
20073899
20073911
20073914
20073916
20080016
20080017
20080031
20080037
20080114