%0 Conference Paper %1 conf/esop/TerauchiM08 %A Terauchi, Tachio %A Megacz, Adam %B ESOP %D 2008 %E Drossopoulou, Sophia %I Springer %K dblp %P 284-298 %T Inferring Channel Buffer Bounds Via Linear Programming. %U http://dblp.uni-trier.de/db/conf/esop/esop2008.html#TerauchiM08 %V 4960 %@ 978-3-540-78738-9

@inproceedings{conf/esop/TerauchiM08, added-at = {2023-06-26T00:00:00.000+0200}, author = {Terauchi, Tachio and Megacz, Adam}, biburl = {https://www.bibsonomy.org/bibtex/2b7f3b35265da39ffb25405708fbb993c/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2008}, editor = {Drossopoulou, Sophia}, ee = {https://doi.org/10.1007/978-3-540-78739-6_22}, interhash = {1127c16ba339097fdd43d4e5cb356bb0}, intrahash = {b7f3b35265da39ffb25405708fbb993c}, isbn = {978-3-540-78738-9}, keywords = {dblp}, pages = {284-298}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:33:45.000+0200}, title = {Inferring Channel Buffer Bounds Via Linear Programming.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2008.html#TerauchiM08}, volume = 4960, year = 2008 }