Master Thesis Projects
Paradigm Protocol Verification
Probabilistic Bisimulation
Supervisor
Dr. E.P. de Vink, MF 6.075, 040-2473146
