List of Accepted Reports for the 1st Mini Project

Semantics & Verification, Spring 2005

---

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 as soon as possible if you think that you should be on the list and you are not.

19881948
19973165
20002708
20002730
20012049
20012160
20012176
20012204
20012244
20012271
20012540
20012558
20012564
20012601
20014140
20021947
20021948
20021949
20021950
20021953
20021957
20021964
20021965
20021968
20021969
20021973
20021975
20022958
20030267
20030273
20030287
20030289
20031030
20033529
20033552
20033554
20033561
20033569
20033577
20033728
20033729
20033731
20040952
20040953
20040955
20040956
20040957
20040988
20041017
20041114
20043366
20050079
20050157
20050158
20050159
20050209
20050224
20050256