Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga. CTL Model Checking in the Cloud Using MapReduce. In Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014. pages 333-340, IEEE, 2014. [doi]
Abstract is missing.