%0 Conference Paper %1 conf/synasc/CamilliBCM14 %A Camilli, Matteo %A Bellettini, Carlo %A Capra, Lorenzo %A Monga, Mattia %B SYNASC %D 2014 %E Winkler, Franz %E Negru, Viorel %E Ida, Tetsuo %E Jebelean, Tudor %E Petcu, Dana %E Watt, Stephen M. %E Zaharie, Daniela %I IEEE Computer Society %K dblp %P 333-340 %T CTL Model Checking in the Cloud Using MapReduce. %U http://dblp.uni-trier.de/db/conf/synasc/synasc2014.html#CamilliBCM14 %@ 978-1-4799-8448-0

@inproceedings{conf/synasc/CamilliBCM14, added-at = {2023-03-24T00:00:00.000+0100}, author = {Camilli, Matteo and Bellettini, Carlo and Capra, Lorenzo and Monga, Mattia}, biburl = {https://www.bibsonomy.org/bibtex/255fab05612914e27c48e388da8211f19/dblp}, booktitle = {SYNASC}, crossref = {conf/synasc/2014}, editor = {Winkler, Franz and Negru, Viorel and Ida, Tetsuo and Jebelean, Tudor and Petcu, Dana and Watt, Stephen M. and Zaharie, Daniela}, ee = {https://doi.ieeecomputersociety.org/10.1109/SYNASC.2014.52}, interhash = {ca3eac14a69d78ca89065d4ae707837b}, intrahash = {55fab05612914e27c48e388da8211f19}, isbn = {978-1-4799-8448-0}, keywords = {dblp}, pages = {333-340}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:14:24.000+0200}, title = {CTL Model Checking in the Cloud Using MapReduce.}, url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2014.html#CamilliBCM14}, year = 2014 }