Talks and Poster Presentations (with Proceedings-Entry):
A. Biere, J. Knoop, L. Kovacs, J. Zwirchmayr:
"The Auspicious Couple: Symbolic Execution and WCET Analysis";
Talk: 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013),
Paris;
2013-07-09; in: "Pre-Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)",
C Maiza (ed.);
(2013),
ISBN: 978-3-939897-54-5;
51
- 60.
Created from the Publication Database of the Vienna University of Technology.