Event Order Abstraction for Parametric RealTime System Verification
https://www.powershow.com/view1/1e6485-ZDc1Z/Event_Order_Abstraction_for_Parametric_RealTime_System_Verification_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
