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

@inproceedings{TUW-172842,
    author = {Rieder, Bernhard and Puschner, Peter and Wenzel, Ingomar},
    title = {Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET Analysis},
    booktitle = {Proceedings of the Sixth Workshop on Intelligent Solutions in Embedded Systems},
    year = {2008},
    pages = {3--9},
    publisher = {IEEE Computer Society},
    isbn = {978-3-00-024989-1},
    note = {talk: Workshop on Intelligent Solutions in Embedded Systems (WISES'08), Regensburg, Germany; 2008-07-10 -- 2008-07-11}
}


1 Datensatz ausgegeben