%0 Conference Paper %1 conf/codes/LiuGXWY09 %A Liu, Weichen %A Gu, Zonghua %A Xu, Jiang %A Wang, Yu %A Yuan, Mingxuan %B CODES+ISSS %D 2009 %E Rosenstiel, Wolfgang %E Wakabayashi, Kazutoshi %I ACM %K dblp %P 61-70 %T An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking. %U http://dblp.uni-trier.de/db/conf/codes/codes2009.html#LiuGXWY09 %@ 978-1-60558-628-1

@inproceedings{conf/codes/LiuGXWY09, added-at = {2022-05-09T00:00:00.000+0200}, author = {Liu, Weichen and Gu, Zonghua and Xu, Jiang and Wang, Yu and Yuan, Mingxuan}, biburl = {https://www.bibsonomy.org/bibtex/2fd562cb81f5b75cdb31875b35b9d83f6/dblp}, booktitle = {CODES+ISSS}, crossref = {conf/codes/2009}, editor = {Rosenstiel, Wolfgang and Wakabayashi, Kazutoshi}, ee = {https://doi.org/10.1145/1629435.1629445}, interhash = {a39867a5543e7fb3fbdd7a706aba7a97}, intrahash = {fd562cb81f5b75cdb31875b35b9d83f6}, isbn = {978-1-60558-628-1}, keywords = {dblp}, pages = {61-70}, publisher = {ACM}, timestamp = {2024-04-10T07:10:01.000+0200}, title = {An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking.}, url = {http://dblp.uni-trier.de/db/conf/codes/codes2009.html#LiuGXWY09}, year = 2009 }