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

@inproceedings{TUW-179477,
    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},
    organization = {Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik, Germany},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
    address = {Dagstuhl, Deutschland},
    numpages = {11},
    eid = {8},
    isbn = {978-3-939897-14-9}
}


1 Datensatz ausgegeben