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.