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

@inproceedings{TUW-212873,
    author = {Huber, Benedikt and Prokesch, Daniel and Puschner, Peter},
    title = {A Formal Framework for Precise Parametric WCET Formulas},
    booktitle = {12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012},
    year = {2012},
    pages = {91--102},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
    address = {Oasics / 23},
    url = {http://publik.tuwien.ac.at/files/PubDat_212873.pdf},
    isbn = {978-3-939897-41-5},
    doi = {10.4230/OASIcs.WCET.2012.91},
    keywords = {Worst-case execution time analysis, parametric WCET analysis, path expressions, frequency expressions},
    note = {talk: 12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012), Pisa; 2012-07-10}
}


1 Datensatz ausgegeben