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

@inproceedings{TUW-171810,
    author = {Wenzel, Ingomar and Kirner, Raimund and Rieder, Bernhard and Puschner, Peter},
    title = {Measurement-Based Timing Analysis},
    booktitle = {Leveraging Applications of Formal Methods, Verification and Validation},
    year = {2008},
    pages = {430--444},
    publisher = {Springer Berlin Heidelberg},
    isbn = {978-3-540-88478-1},
    doi = {10.1007/978-3-540-88479-8{\_}30},
    note = {talk: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; 2008-10-13 -- 2008-10-15}
}


1 Datensatz ausgegeben