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

@article{TUW-224229,
    author = {Reinbacher, Thomas and F{\"u}gger, Matthias and Brauer, J{\"o}rg},
    title = {Runtime verification of embedded real-time systems},
    journal = {Formal Methods in System Design},
    year = {2013},
    volume = {Nov 2013},
    number = {10703},
    pages = {1--37},
    doi = {10.1007/s10703-013-0199-z}
}


1 Datensatz ausgegeben