@InProceedings{huber_et_al:OASIcs.WCET.2009.2281,
author = {Huber, Benedikt and Schoeberl, Martin},
title = {{Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--12},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2281},
URN = {urn:nbn:de:0030-drops-22810},
doi = {10.4230/OASIcs.WCET.2009.2281},
annote = {Keywords: WCET analysis, model checking, IPET, Java, JOP, UPPAAL}
}