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

@article{TUW-141085,
    author = {Wenzel, Ingomar and Kirner, Raimund and Rieder, Bernhard and Puschner, Peter},
    title = {Cross-Platform Verification Framework for Embedded Systems},
    journal = {Lecture Notes in Computer Science},
    year = {2007},
    volume = {4761},
    pages = {137--148}
}


1 Datensatz ausgegeben