Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures
https://www.powershow.com/view/9cc2a-MTc1Y/Complexity_of_Compositional_Model_Checking_of_Computation_Tree_Logic_on_Simple_Structures_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
