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

@unpublished{TUW-227153,
    author = {Kandl, Susanne and Elshuber, Martin and Puschner, Peter},
    title = {Formal Verification at System Level},
    year = {2014},
    note = {poster presentation: HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Vienna; 2014-01-20 -- 2014-01-22}
}


1 Datensatz ausgegeben