%0 Journal Article %1 journals/concurrency/BellettiniCCM16 %A Bellettini, Carlo %A Camilli, Matteo %A Capra, Lorenzo %A Monga, Mattia %D 2016 %J Concurr. Comput. Pract. Exp. %K dblp %N 11 %P 3025-3041 %T Distributed CTL model checking using MapReduce: theory and practice. %U http://dblp.uni-trier.de/db/journals/concurrency/concurrency28.html#BellettiniCCM16 %V 28

@article{journals/concurrency/BellettiniCCM16, added-at = {2020-06-15T00:00:00.000+0200}, author = {Bellettini, Carlo and Camilli, Matteo and Capra, Lorenzo and Monga, Mattia}, biburl = {https://www.bibsonomy.org/bibtex/27a4b682548d630ea06d2871011efb314/dblp}, ee = {https://doi.org/10.1002/cpe.3652}, interhash = {464b373fde7c217ff25ac57400c72230}, intrahash = {7a4b682548d630ea06d2871011efb314}, journal = {Concurr. Comput. Pract. Exp.}, keywords = {dblp}, number = 11, pages = {3025-3041}, timestamp = {2020-06-16T11:41:35.000+0200}, title = {Distributed CTL model checking using MapReduce: theory and practice.}, url = {http://dblp.uni-trier.de/db/journals/concurrency/concurrency28.html#BellettiniCCM16}, volume = 28, year = 2016 }