Date:
Tuesday, April 13, 2010
Speaker:
Andrey Rybalchenko
Venue: IST Austria
Modular characterization of reachability and/in multi-threaded environment
Posted in RiSE Seminar