Parallel LTLX Model Checking of HighLevel Petri Nets Based on Unfoldings
https://www.powershow.com/view/133a42-MDI0Y/Parallel_LTLX_Model_Checking_of_HighLevel_Petri_Nets_Based_on_Unfoldings_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/