Talks and Poster Presentations (with Proceedings-Entry):
E. Bartocci, L. Bortolussi, M. Loreti, L. Nenzi:
"Monitoring Mobile and Spatially Distributed Cyber-Physical Systems";
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; in: "Proc. of MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design",
ACM,
(2017),
146
- 155.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/3127041.3127050