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

@inproceedings{TUW-206051,
    author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan},
    title = {Past time LTL runtime verification for microcontroller binary code},
    booktitle = {Formal Methods for Industrial Critical Systems},
    year = {2011},
    pages = {37--51},
    publisher = {Springer Berlin / Heidelberg},
    isbn = {978-3-642-24430-8},
    doi = {10.1007/978-3-642-24431-5{\_}5},
    note = {talk: FMICS 2011, Trento; 2011-08-29 -- 2011-08-30}
}


1 Datensatz ausgegeben