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

@inproceedings{TUW-275666,
    author = {Phan, Dung and Paoletti, Nicola and Zhang, Timothy and Grosu, Radu and Smolka, Scott A. and Stoller, Scott D.},
    title = {Neural State Classification for Hybrid Systems},
    booktitle = {Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis},
    year = {2018},
    pages = {422--440},
    publisher = {Springer},
    address = {11138},
    isbn = {978-3-030-01089-8},
    doi = {10.1007/978-3-030-01090-4{\_}25},
    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