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