Talks and Poster Presentations (with Proceedings-Entry):

J. Zwirchmayr, J. Knoop, L. Kovacs:
"r-TuBound: Loop Bounds for WCET Analysis";
Talk: Logic for Programming, Artificial Intelligence, and Reasoning 18 (LPAR-18), Merida, Venezuela; 2012-03-11 - 2012-03-15; in: "Logic For Programming, Artificial Intelligence, and Reasoning", N. Bjorner, A. Voronkov (ed.); Lecture Notes in Computer Science, Springer, LNCS / 7180 / Heidelberg (2012), ISBN: 978-3-642-28716-9; 435 - 444.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.