Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs
- Nan Guan
- , Zonghua Gu
- , Wang Yi
- , Ge Yu
Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review
8
Link opens in a new tab
Citations
(Scopus)