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

@inproceedings{TUW-254945,
    author = {Rodionova, Alena and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu},
    title = {Temporal Logic as Filtering},
    booktitle = {Proceeding HSCC '16 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control},
    year = {2016},
    pages = {11--20},
    publisher = {ACM},
    isbn = {978-1-4503-3955-1},
    doi = {10.1145/2883817.2883839},
    note = {talk: Proceeding HSCC '16 - the 19th International Conference on Hybrid Systems: Computation and Control, Vienna; 2016-04-12 -- 2016-04-14}
}


1 Datensatz ausgegeben