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

@inproceedings{TUW-244698,
    author = {Bogomolov, Sergiy and Schilling, Christian and Bartocci, Ezio and Batt, Gregory and Kong, Hui and Grosu, Radu},
    title = {Abstraction-based Parameter Synthesis for Multiaffine Systems},
    booktitle = {Proc. of HVC 2015: the 11th Haifa Verification Conference},
    year = {2015},
    pages = {19--35},
    publisher = {LNCS / Springer},
    address = {9434},
    isbn = {978-3-319-26286-4},
    doi = {10.1007/978-3-319-26287-1{\_}2},
    note = {talk: the 11th Haifa Verification Conference (HVC), Haifa, Israel; 2015-11-17 -- 2015-11-19}
}


1 Datensatz ausgegeben