Quantitative Verification and Synthesis

Date: Tuesday, April 27, 2010
Speaker: Barbara Jobstmann
Venue: TU Vienna

Posted in RiSE Seminar