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

@inproceedings{TUW-141110,
    author = {Wenzel, Ingomar and Kirner, Raimund and Rieder, Bernhard and Puschner, Peter},
    title = {Cross-Platform Verification Framework for Embedded Systems},
    booktitle = {The 5th IFIP Workshop on Software Technologies for Future Embedded {\&} Ubiquitous Systems},
    year = {2007},
    numpages = {12},
    eid = {p2A-2},
    note = {talk: 5th IFIP Workshop on Software Technologies for Future Embedded {\&} Ubiquitous Systems (SEUS 2007), Santorini, Greece; 2007-05-07 -- 2007-05-08}
}


1 Datensatz ausgegeben