%0 Conference Paper %1 conf/iccps/MaBLS020 %A Ma, Meiyi %A Bartocci, Ezio %A Lifland, Eli %A Stankovic, John A. %A Feng, Lu %B ICCPS %D 2020 %I IEEE %K dblp %P 51-62 %T SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. %U http://dblp.uni-trier.de/db/conf/iccps/iccps2020.html#MaBLS020 %@ 978-1-7281-5501-2

@inproceedings{conf/iccps/MaBLS020, added-at = {2020-12-29T00:00:00.000+0100}, author = {Ma, Meiyi and Bartocci, Ezio and Lifland, Eli and Stankovic, John A. and Feng, Lu}, biburl = {https://www.bibsonomy.org/bibtex/253761aa5a57b5c9b8d2ef1d50fa29490/dblp}, booktitle = {ICCPS}, crossref = {conf/iccps/2020}, ee = {https://doi.org/10.1109/ICCPS48487.2020.00013}, interhash = {b79969bf444b58d24977314bb2277573}, intrahash = {53761aa5a57b5c9b8d2ef1d50fa29490}, isbn = {978-1-7281-5501-2}, keywords = {dblp}, pages = {51-62}, publisher = {IEEE}, timestamp = {2024-04-10T18:16:48.000+0200}, title = {SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities.}, url = {http://dblp.uni-trier.de/db/conf/iccps/iccps2020.html#MaBLS020}, year = 2020 }