Benedikt Huber, Peter P. Puschner. A Code Policy Guaranteeing Fully Automated Path Analysis. In Björn Lisper, editor, 10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6, 2010, Brussels, Belgium. Volume 15 of OASICS, pages 77-88, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2010. [doi]
@inproceedings{HuberP10, title = {A Code Policy Guaranteeing Fully Automated Path Analysis}, author = {Benedikt Huber and Peter P. Puschner}, year = {2010}, doi = {10.4230/OASIcs.WCET.2010.77}, url = {http://dx.doi.org/10.4230/OASIcs.WCET.2010.77}, tags = {analysis}, researchr = {https://researchr.org/publication/HuberP10}, cites = {0}, citedby = {0}, pages = {77-88}, booktitle = {10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6, 2010, Brussels, Belgium}, editor = {Björn Lisper}, volume = {15}, series = {OASICS}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, isbn = {978-3-939897-21-7}, }