Events

e251
March 27, 2014MSc Presentation: Improving Reachability Analysis in LTSmin
Room: Carre 3CJeroen Meijer
16:00-17:15

To be announced.