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

@inproceedings{TUW-274103,
    author = {Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea},
    title = {Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis},
    booktitle = {Quantitative Evaluation of Systems - 15th International Conference},
    year = {2018},
    editor = {McIver, Annabelle and Horvath, Andras},
    pages = {104--121},
    publisher = {Springer},
    address = {Beijing, China},
    url = {https://publik.tuwien.ac.at/files/publik_274103.pdf},
    isbn = {978-3-319-99153-5},
    doi = {10.1007/978-3-319-99154-2{\_}7},
    note = {talk: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; 2018-09-04 -- 2018-09-07}
}


1 Datensatz ausgegeben