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

@inproceedings{TUW-247697,
    author = {Murthy, Abhishek and Islam, Ariful and Smolka, Scott A. and Grosu, Radu},
    title = {Computing Bisimulation Functions using SOS Optimisation and delta-decidability over the Reals},
    booktitle = {HSCC 2015},
    year = {2015},
    pages = {78--87},
    publisher = {ACM},
    isbn = {978-1-4503-3433-4},
    doi = {10.1145/2728606.2728609},
    note = {talk: 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; 2015-04-13 -- 2015-04-15}
}


1 Datensatz ausgegeben