BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-176279,
    author = {Prantl, Adrian and Knoop, Jens and Kirner, Raimund and Schordan, Markus and Kadlec, Albrecht},
    title = {From Trusted Annotations to Verified Knowledge},
    booktitle = {Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009)},
    year = {2009},
    editor = {Holsti, Niklas},
    pages = {35--45},
    note = {talk: 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), Dublin, Ireland; 2009-06-30}
}


1 Datensatz ausgegeben