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

@inproceedings{TUW-265623,
    author = {Cyranka, Jacek and Islam, Ariful and Byrne, Greg and Jones, Paul and Smolka, Scott A. and Grosu, Radu},
    title = {Lagrangian Reachabililty},
    booktitle = {Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification},
    year = {2017},
    pages = {379--400},
    publisher = {Springer},
    address = {10426},
    isbn = {978-3-319-63387-9},
    doi = {10.1007/978-3-319-63387-9{\_}19},
    note = {talk: CAV 2017: the 29th International Conference on Computer-Aided Verification, Heidelberg, Germany; 2017-07-24 -- 2017-07-28}
}


1 Datensatz ausgegeben