TY  - BOOK
TI  - MapReduce for parallel trace validation of LTL properties
PY  - 2016///
KW  - CLOUD ARCHITECTURE
ER  -