Events

e146
April 27, 2012MSc Presentation: The parallelization of BDD operations for model checking
Room: RA 1501Tom van Dijk
16:00-17:15

To be announced.

project description