List of Accepted Reports for the 1st Mini Project

Semantics & Verification, Spring 2006

---

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.

19882533
19903527
20002328
20002746
20013762
20013850
20014139
20021962
20021965
20021968
20021978
20022034
20030271
20030476
20030481
20030525
20032086
20032228
20032328
20032399
20032465
20032477
20032485
20032575
20032602
20032625
20033084
20033435
20033567
20040309
20040957
20043566 
20050096
20050941
20052922
20052923
20053231
20053317
20053318
20053319
20053322
20053338
20053339
20060099
20060101
20060102
20060103
20060216