Computing time as a program variable: a way around infeasible paths

Niklas Holsti. Computing time as a program variable: a way around infeasible paths. In Raimund Kirner, editor, 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Prague, Czech Republic, July 1, 2008. Volume 08003 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. [doi]

@inproceedings{Holsti08,
  title = {Computing time as a program variable: a way around infeasible paths},
  author = {Niklas Holsti},
  year = {2008},
  url = {http://drops.dagstuhl.de/opus/volltexte/2008/1660},
  researchr = {https://researchr.org/publication/Holsti08},
  cites = {0},
  citedby = {0},
  booktitle = {8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Prague, Czech Republic, July 1, 2008},
  editor = {Raimund Kirner},
  volume = {08003},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}