MapReduce for Parallel Trace Validation of LTL Properties. - Benjamin Barre; Mathieu Klein; Maxime Soucy-Boivin; Pierre-Antoine Ollivier; Sylvain Hallé (RV, 2012)

MapReduce for parallel trace validation of LTL properties. - Sylvain Hallé; Maxime Soucy-Boivin (J. Cloud Comput., 2015)