%0 Conference Paper %1 conf/aspdac/GuanGYY09 %A Guan, Nan %A Gu, Zonghua %A Yi, Wang %A Yu, Ge %B ASP-DAC %D 2009 %E Wakabayashi, Kazutoshi %I IEEE %K %P 715-720 %T Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2009.html#GuanGYY09 %@ 978-1-4244-2748-2

@inproceedings{conf/aspdac/GuanGYY09, added-at = {2023-12-12T19:46:57.000+0100}, author = {Guan, Nan and Gu, Zonghua and Yi, Wang and Yu, Ge}, biburl = {https://www.bibsonomy.org/bibtex/2ed2701f617afe6c636b2ef3c1ed2e4d4/admin}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2009}, editor = {Wakabayashi, Kazutoshi}, ee = {http://dl.acm.org/citation.cfm?id=1509795}, interhash = {25f7e2ea326a3528a0fa35eb6ee90323}, intrahash = {ed2701f617afe6c636b2ef3c1ed2e4d4}, isbn = {978-1-4244-2748-2}, keywords = {}, pages = {715-720}, publisher = {IEEE}, timestamp = {2023-12-12T19:46:57.000+0100}, title = {Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2009.html#GuanGYY09}, year = 2009 }