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

@inproceedings{TUW-140222,
    author = {Kandl, Susanne and Kirner, Raimund and Fraser, Gordon},
    title = {Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems},
    booktitle = {3rd International Workshop on Dependable Embedded Systems, Proceedings},
    year = {2006},
    pages = {17--21},
    note = {talk: 3rd International Workshop on Dependable Embedded Systems, Leeds, UK; 2006-10-01}
}


1 Datensatz ausgegeben