@inproceedings{conf/esop/TerauchiM08,
title = {Inferring Channel Buffer Bounds Via Linear Programming.},
author = {Tachio Terauchi and Adam Megacz},
booktitle = {ESOP},
crossref = {conf/esop/2008},
editor = {Sophia Drossopoulou},
pages = {284-298},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/esop/esop2008.html#TerauchiM08},
volume = {4960},
year = {2008},
description = {dblp},
date = {2008-04-16}, ee = {http://dx.doi.org/10.1007/978-3-540-78739-6_22}, isbn = {978-3-540-78738-9},
keywords = {dblp }
}