MSc Presentation: GPU implementation of Partial-Order Reduction

When: July 14, 2016, 9:00-11:00

Where: Hal B -2B

Who: Thomas Neele

To be announced.