@inproceedings{AlbertAGP08b,
author = {E.~Albert and P.~Arenas and S.~Genaim and G.~Puebla},
title = {Automatic {I}nference of {U}pper {B}ounds for {R}ecurrence {R}elations in {C}ost {A}nalysis},
booktitle = {Proc. of Static Analysis Symposium (SAS)},
publisher = {Springer-Verlag},
series = {LNCS},
number = {5079},
pages = {221--237},
month = {July},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2008}
}