Events

e392
July 31, 2015MSc Presentation: Distributed Symbolic Reachability Analysis
Room: Hal B - 2FWytse Oortwijn
16:00-17:30

To be announced.

project description