BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-262614, author = {Bartocci, Ezio and Bortolussi, Luca and Loreti, Michele and Nenzi, Laura}, title = {Monitoring Mobile and Spatially Distributed Cyber-Physical Systems}, booktitle = {Proc. of MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design}, year = {2017}, pages = {146--155}, publisher = {ACM}, doi = {10.1145/3127041.3127050}, note = {talk: MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria; 2017-09-29 -- 2017-10-02} } 1 Datensatz ausgegeben