@inproceedings{AMR13,
title = { Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective },
author = {Asavoae, Mihail and Maiza, Claire and Raymond, Pascal},
year = {2013},
booktitle = {13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, July 9, 2013, Paris, France},
pages = {32-41},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
series = {OASICS},
volume = {30},
team = {SYNC},
}
