Benedikt Huber, Martin Schoeberl. Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis. In Niklas Holsti, editor, 9th Intl. Workshop on Worst-Case Execution Time Analysis, WCET 2009, Dublin, Ireland, July 1-3, 2009. Volume 09004 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. [doi]
Abstract is missing.