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

@inproceedings{TUW-273841,
    author = {Fan, Chuchu and Meng, Yu and Maier, J{\"u}rgen and Bartocci, Ezio and Mitra, Sayan and Schmid, Ulrich},
    title = {Verifying nonlinear analog and mixed-signal circuits with inputs},
    booktitle = {Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems},
    year = {2018},
    pages = {241--246},
    publisher = {IFAC-PapersOnLine},
    address = {51 / 16},
    doi = {10.1016/j.ifacol.2018.08.041},
    note = {talk: Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK; 2018-07-11 -- 2018-07-13}
}


1 Datensatz ausgegeben