Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan. From Trusted Annotations to Verified Knowledge. In Niklas Holsti, editor, 9th Intl. Workshop on Worst-Case Execution Time Analysis, WCET 2009, Dublin, Ireland, July 1-3, 2009. Volume 09004 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. [doi]
@inproceedings{PrantlKKKS09, title = {From Trusted Annotations to Verified Knowledge}, author = {Adrian Prantl and Jens Knoop and Raimund Kirner and Albrecht Kadlec and Markus Schordan}, year = {2009}, url = {http://drops.dagstuhl.de/opus/volltexte/2009/2282}, researchr = {https://researchr.org/publication/PrantlKKKS09}, cites = {0}, citedby = {0}, booktitle = {9th Intl. Workshop on Worst-Case Execution Time Analysis, WCET 2009, Dublin, Ireland, July 1-3, 2009}, editor = {Niklas Holsti}, volume = {09004}, series = {Dagstuhl Seminar Proceedings}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, }