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

@inproceedings{TUW-290967,
    author = {Meiyi, Ma and Bartocci, Ezio and Lifland, Eli and Stankovic, John and Feng, Lu},
    title = {SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities},
    booktitle = {Proc. of ICCPS 2020: the ACM/IEEE 11th International Conference on Cyber-Physical Systems},
    year = {2020},
    pages = {51--62},
    publisher = {IEEE},
    isbn = {978-1-7281-5502-9},
    doi = {10.1109/ICCPS48487.2020.00013},
    note = {talk: Proc. of ICCPS 2020: the ACM/IEEE 11th International Conference on Cyber-Physical Systems, Sydney, Australia, Australia; 2020-04-21 -- 2020-04-25}
}


1 Datensatz ausgegeben