MSc Presentation: Distributed Symbolic Reachability Analysis
When: July 31, 2015, 16:00-17:30
Where: Hal B - 2F
Who: Wytse Oortwijn
To be announced.
MSc Presentation: Distributed Symbolic Reachability AnalysisWhen: July 31, 2015, 16:00-17:30 Where: Hal B - 2F Who: Wytse Oortwijn To be announced. |