institution logo
If you're member of the institution,  you just have to login to download the file in restricted access. It is not necessary to request a print.

Request copy

Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Bianculli, Domenico; Ghezzi, Carlo; Krstić, Srđan
2014In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014)

Document(s) requested

The desired document is not currently available on open access. Nevertheless you can request an offprint through the form below. If your request is accepted you will receive by e-mail a link allowing you access to the document for 5 days, 5 download attempts maximum.

Request form

Fields marked with ✱ are compulsory.

Back to the reference
Contact ORBilu