TY  - RPRT
TI  - Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
AU  - Domenico Bianculli
AU  - Carlo Ghezzi
AU  - Srdan Krstic
PY  - 2014
UR  - https://arxiv.org/abs/1406.3661
ID  - 1406.3661
ER  -