[Back]


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)
http://dx.doi.org/10.1007/978-3-642-28717-6_34


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