"Inferring Channel Buffer Bounds Via Linear Programming."

Tachio Terauchi, Adam Megacz (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics