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 proceedingConference article published in proceeding or bookAcademic researchpeer-review

8 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs'. Together they form a unique fingerprint.

Computer Science

Chemistry

Physics