r-TuBound: Loop Bounds for WCET Analysis (Tool Paper) (bibtex)
by Jens Knoop, Laura Kovács, Jakob Zwirchmayr
Reference:
r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)Jens Knoop, Laura Kovács, Jakob ZwirchmayrProceedings of International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18), volume 7180 of LNCS, pages 435-444, 2012.
Bibtex Entry:
@inproceedings{LPAR18_Kovacs,
title = {r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)},
url = {/pubpdf/r-TuBound__Loop_Bounds_for_WCET_Analysis_(Tool_Paper).pdf},
series = {LNCS},
booktitle = {Proceedings of International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18)},
author = {Jens Knoop and Laura Kov{\'a}cs and Jakob Zwirchmayr},
volume = {7180},
year = {2012},
pages = {435-444},
}
Powered by bibtexbrowser