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

@article{TUW-293964,
    author = {Pavlogiannis, Andreas and Schaumberger, Nico and Schmid, Ulrich and Chatterjee, Krishnendu},
    title = {Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling},
    journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
    year = {2020},
    volume = {39},
    number = {11},
    pages = {3981--3992},
    doi = {10.1109/TCAD.2020.3012803},
    keywords = {Competitive analysis, precedence scheduling, quantitative verification}
}


1 Datensatz ausgegeben