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

@inproceedings{TUW-282745,
    author = {Kong, Hui and Bartocci, Ezio and Jiang, Yu and Henzinger, Thomas A.},
    title = {Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty},
    booktitle = {Proc. of FORMATS 2019: the 17th International Conference on Formal Modeling and Analysis of Timed Systems},
    year = {2019},
    pages = {123--141},
    address = {11750},
    url = {https://publik.tuwien.ac.at/files/publik_282745.pdf},
    doi = {10.1007/978-3-030-29662-9},
    note = {talk: 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands; 2019-08-27 -- 2019-08-29}
}


1 Datensatz ausgegeben