Date:
Tuesday, June 22, 2010
Speaker:
Muralidhar Talupur
Venue: TU Vienna
Going with the Flow: Parameterized Verification using Message flows
Posted in RiSE Seminar