Sylvain Hallé, Maxime Soucy-Boivin. MapReduce for parallel trace validation of LTL properties. J. Cloud Computing, 4:8, 2015. [doi]
@article{HalleS15,
title = {MapReduce for parallel trace validation of LTL properties},
author = {Sylvain Hallé and Maxime Soucy-Boivin},
year = {2015},
doi = {10.1186/s13677-015-0032-x},
url = {https://doi.org/10.1186/s13677-015-0032-x},
researchr = {https://researchr.org/publication/HalleS15},
cites = {0},
citedby = {0},
journal = {J. Cloud Computing},
volume = {4},
pages = {8},
}