BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-179476, author = {Prantl, Adrian and Knoop, Jens and Kirner, Raimund and Kadlec, Albrecht and Schordan, Markus}, title = {From Trusted Annotations to Verified Knowledge}, booktitle = {Worst-Case Execution Time Analysis}, year = {2009}, editor = {Holsti, Niklas}, pages = {39--49}, organization = {Oesterreichische Computer Gesellschaft / Austrian Computer Society}, publisher = {Verlag Oesterreichische Computer Gesellschaft}, address = {Wien}, isbn = {978-3-85403-252-6} } 1 Datensatz ausgegeben