Automatic Symmetry Detection for Model Checking Using Computational Group Theory
https://www.powershow.com/view/f3097-NDk5M/Automatic_Symmetry_Detection_for_Model_Checking_Using_Computational_Group_Theory_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/