Going with the Flow: Parameterized Verification using Message flows

Date: Tuesday, June 22, 2010
Speaker: Muralidhar Talupur
Venue: TU Vienna

Posted in RiSE Seminar