@inproceedings{AlbertACGPZ08,
author = {E.~Albert and P.~Arenas and M.~Codish and S.~Genaim and G.~Puebla and D.~Zanardini},
title = {{T}ermination {A}nalysis of {J}ava {B}ytecode},
booktitle = {Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS)},
editor = {Gilles Barthe and Frank de Boer},
series = {Lecture Notes in Computer Science},
address = {Oslo, Norway},
month = {June},
publisher = {Springer-Verlag, Berlin},
volume = {5051},
pages = {2-18},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2008}
}