Events

e450
July 14, 2016MSc Presentation: GPU implementation of Partial-Order Reduction
Room: Hal B -2BThomas Neele
9.00-11:00

To be announced.