Received Reports for the
2nd Mini Project
Semantics & Verification, Spring 2006
At the moment I have received solutions/reports from the following students for the second
mini project on modelling and analysing the "Gossiping Girls" problem using UPPAAL.
Please, check that your number
is on the list. If it is not there, and you believe it should be, please contact me (Kim: kgl@cs.aau.dk) as soon as possible.
19882533
19903527
20002328
20013762
20013850
20013982
20014139
20021962
20021965
20021968
20021978
20022034
20030271
20030475
20030476
20030481
20030525
20032086
20032124
20032228
20032328
20032397
20032399
20032465
20032477
20032485
20032575
20032602
20032625
20033084
20033435
20040309
20040957
20043566
20050096
20050167
20050941
20052922
20052923
20052925
20053231
20053317
20053319
20053322
20053339
20060099
20060101
20060102
20060103
20060216