Fully automatic, parametric worst-case execution time analysis. (2003)

by B Lisper
Venue:Proc. Third International Workshop on Worst-Case Execution Time (WCET) Analysis.