Feb 28, 2012: Tom van Dijk: Parallelizing Symbolic Model Checking For Multicore Architectures

February 28, 2012Parallelizing Symbolic Model Checking For Multicore Architectures
Room: Zi 5126Tom van Dijk
12:30-13:30

To be announced.