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}, }