Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Adam Megacz and Tachio Terauchi,Inferring Channel Buffer Bounds Via Linear Programming,,,Springer Berlin Heidelberg,2008-04-02,,,,https://cir.nii.ac.jp/crid/1870865117619064576,https://doi.org/10.1007/978-3-540-78739-6_22