@inproceedings{ conf/icse/MoffittOWC15,
  added-at = {2015-08-06T00:00:00.000+0200},
  author = {Moffitt, Kerry and Ostwald, John and Watro, Ron and Church, Eric},
  biburl = {http://www.bibsonomy.org/bibtex/23fae594563ca1947629177d337df8cde/dblp},
  booktitle = {CSI-SE},
  crossref = {conf/icse/2015csise},
  ee = {http://dx.doi.org/10.1109/CSI-SE.2015.13},
  interhash = {c724927b2336691fb1feea5a025864a9},
  intrahash = {3fae594563ca1947629177d337df8cde},
  isbn = {978-1-4673-7040-0},
  keywords = {dblp},
  pages = {30-31},
  publisher = {IEEE},
  title = {Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games.},
  url = {http://dblp.uni-trier.de/db/conf/icse/csise2015.html#MoffittOWC15},
  year = {2015}
}

{"_id":"Syqg3Dty76urYQwMq","bibbaseid":"moffitt-ostwald-watro-church-makinghardfunincrowdsourcedmodelcheckingbalancingcrowdengagementandefficiencytomaximizeoutputinproofbygames-2015","downloads":0,"creationDate":"2015-09-08T15:38:37.611Z","title":"Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games.","author_short":["Moffitt, K.","Ostwald, J.","Watro, R.","Church, E."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/john?items=1000","bibdata":{"added-at":"2015-08-06T00:00:00.000+0200","author":["Moffitt, Kerry","Ostwald, John","Watro, Ron","Church, Eric"],"author_short":["Moffitt, K.","Ostwald, J.","Watro, R.","Church, E."],"bibtex":"@inproceedings{ conf/icse/MoffittOWC15,\n added-at = {2015-08-06T00:00:00.000+0200},\n author = {Moffitt, Kerry and Ostwald, John and Watro, Ron and Church, Eric},\n biburl = {http://www.bibsonomy.org/bibtex/23fae594563ca1947629177d337df8cde/dblp},\n booktitle = {CSI-SE},\n crossref = {conf/icse/2015csise},\n ee = {http://dx.doi.org/10.1109/CSI-SE.2015.13},\n interhash = {c724927b2336691fb1feea5a025864a9},\n intrahash = {3fae594563ca1947629177d337df8cde},\n isbn = {978-1-4673-7040-0},\n keywords = {dblp},\n pages = {30-31},\n publisher = {IEEE},\n title = {Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games.},\n url = {http://dblp.uni-trier.de/db/conf/icse/csise2015.html#MoffittOWC15},\n year = {2015}\n}","bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bibtex/23fae594563ca1947629177d337df8cde/dblp","booktitle":"CSI-SE","crossref":"conf/icse/2015csise","ee":"http://dx.doi.org/10.1109/CSI-SE.2015.13","id":"conf/icse/MoffittOWC15","interhash":"c724927b2336691fb1feea5a025864a9","intrahash":"3fae594563ca1947629177d337df8cde","isbn":"978-1-4673-7040-0","key":"conf/icse/MoffittOWC15","keywords":"dblp","pages":"30-31","publisher":"IEEE","title":"Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games.","type":"inproceedings","url":"http://dblp.uni-trier.de/db/conf/icse/csise2015.html#MoffittOWC15","year":"2015","bibbaseid":"moffitt-ostwald-watro-church-makinghardfunincrowdsourcedmodelcheckingbalancingcrowdengagementandefficiencytomaximizeoutputinproofbygames-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1109/CSI-SE.2015.13","Paper":"http://dblp.uni-trier.de/db/conf/icse/csise2015.html#MoffittOWC15"},"keyword":["dblp"],"downloads":0},"search_terms":["making","hard","fun","crowdsourced","model","checking","balancing","crowd","engagement","efficiency","maximize","output","proof","games","moffitt","ostwald","watro","church"],"keywords":["dblp"],"authorIDs":[],"dataSources":["e3DPfiLXyfZxic3k2"]}