@inproceedings{Prantl:WLPE2008, Address = {Udine, Italy}, Author = {Adrian Prantl and Jens Knoop and Markus Schordan and Markus Triska}, Booktitle = {The 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)}, Month = {December}, Day = {12}, Title = {{Constraint solving for high-level WCET analysis}}, Pages = {77--89}, Year = {2008}, ee = {http://arxiv.org/abs/0903.2251}, URL = {http://costa.tuwien.ac.at/papers/wlpe08.pdf} }