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

@inproceedings{TUW-273842,
    author = {Silvetti, Simone and Nenzi, Laura and Bartocci, Ezio and Bortolussi, Luca},
    title = {Signal Convolution Logic},
    booktitle = {Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis},
    year = {2018},
    pages = {267--283},
    address = {11138},
    doi = {10.1007/978-3-030-01090-4{\_}16},
    note = {talk: Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, CA, USA; 2018-10-07 -- 2018-10-10}
}


1 Datensatz ausgegeben