Events

e464
September 30, 2016MSc Presentation: Symbolic Model Checking of Timed Automata using LTSmin
Room: Carre -2GSybe van Hijum
14:00-15:30

To be announced.