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

@inproceedings{TUW-218914,
    author = {Elshuber, Martin and Kandl, Susanne and Puschner, Peter},
    title = {Improving System-Level Verification of SystemC Models with SPIN},
    booktitle = {1st French Singaporean Workshop on Formal Methods and Applications},
    year = {2013},
    numpages = {6},
    isbn = {978-3-939897-56-9},
    doi = {10.4230/OASIcs.FSFMA.2013.74},
    keywords = {SystemC, SPIN, Promela, System-Level Verification},
    note = {talk: 1st French Singaporean Workshop on Formal Methods and Applications, Singapore; 2013-07-15 -- 2013-07-16}
}


1 Datensatz ausgegeben