Reference

2015
Segment Abstraction for Worst-Case Execution Time Analysis
ESOP 2015: European Symposium on Programming

BibTeX

@string{ESOP = "European Symposium on Programming (ESOP)"}
@inproceedings{wcet-esop15,
  author = {Pavol Černý and Thomas A. Henzinger and Laura Kovács and Arjun Radhakrishna and Jakob Zwirchmayr},
  title = {Segment Abstraction for Worst-Case Execution Time Analysis},
  booktitle = ESOP,
  year = {2015},
}