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

@inproceedings{TUW-225304,
    author = {Chatterjee, Krishnendu and K{\"o}{\ss}ler, Alexander and Schmid, Ulrich},
    title = {Automated Analysis of Real-Time Scheduling using Graph Games},
    booktitle = {Proceedings 16th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'13)},
    year = {2013},
    pages = {163--172},
    publisher = {ACM},
    note = {talk: ACM International Conference on Hybrid Systems: Computation and Control, Philadelphia, USA; 2013-04-08 -- 2013-04-11}
}


1 Datensatz ausgegeben