Minimizing Buffer Requirements of Synchronous Dataflow Graphs with Model Checking
https://www.powershow.com/view1/1ca18e-ZDc1Z/Minimizing_Buffer_Requirements_of_Synchronous_Dataflow_Graphs_with_Model_Checking_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
