Jul 23, 2015: Wytse Oortwijn: RDMA based distributed symbolic reachability

July 23, 2015RDMA based distributed symbolic reachability
Room: Zi 2042Wytse Oortwijn
12:30-13:30

To be announced.

project description