@inproceedings{ dblp2013403,
  title = {Modeling Bitcoin Contracts by Timed Automata},
  author = {Marcin Andrychowicz and Stefan Dziembowski and Daniel Malinowski and Lukasz Mazurek},
  author_short = {Andrychowicz, M. and Dziembowski, S. and Malinowski, D. and Mazurek, L.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp2013403},
  id = {dblp2013403},
  biburl = {http://www.dblp.org/rec/bibtex/conf/formats/AndrychowiczDMM14},
  url = {http://dx.doi.org/10.1007/978-3-319-10512-3_2},
  conference = {FORMATS},
  pages = {7-22},
  text = {FORMATS 2014:7-22},
  booktitle = {Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS)}
}

{"_id":{"_str":"53b199adfc92d01341000570"},"__v":0,"authorIDs":["56c5bb57dd338cfd2c00003d"],"author_short":["Andrychowicz, M.","Dziembowski, S.","Malinowski, D.","Mazurek, L."],"bibbaseid":"andrychowicz-dziembowski-malinowski-mazurek-modelingbitcoincontractsbytimedautomata-2014","bibdata":{"title":"Modeling Bitcoin Contracts by Timed Automata","author":["Marcin Andrychowicz","Stefan Dziembowski","Daniel Malinowski","Lukasz Mazurek"],"author_short":["Andrychowicz, M.","Dziembowski, S.","Malinowski, D.","Mazurek, L."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp2013403","id":"dblp2013403","biburl":"http://www.dblp.org/rec/bibtex/conf/formats/AndrychowiczDMM14","url":"http://dx.doi.org/10.1007/978-3-319-10512-3_2","conference":"FORMATS","pages":"7-22","text":"FORMATS 2014:7-22","booktitle":"Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS)","bibtex":"@inproceedings{ dblp2013403,\n title = {Modeling Bitcoin Contracts by Timed Automata},\n author = {Marcin Andrychowicz and Stefan Dziembowski and Daniel Malinowski and Lukasz Mazurek},\n author_short = {Andrychowicz, M. and Dziembowski, S. and Malinowski, D. and Mazurek, L.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp2013403},\n id = {dblp2013403},\n biburl = {http://www.dblp.org/rec/bibtex/conf/formats/AndrychowiczDMM14},\n url = {http://dx.doi.org/10.1007/978-3-319-10512-3_2},\n conference = {FORMATS},\n pages = {7-22},\n text = {FORMATS 2014:7-22},\n booktitle = {Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS)}\n}","bibbaseid":"andrychowicz-dziembowski-malinowski-mazurek-modelingbitcoincontractsbytimedautomata-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-10512-3_2"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/formats/AndrychowiczDMM14","creationDate":"2014-06-30T17:09:01.808Z","downloads":0,"keywords":[],"search_terms":["modeling","bitcoin","contracts","timed","automata","andrychowicz","dziembowski","malinowski","mazurek"],"title":"Modeling Bitcoin Contracts by Timed Automata","year":2014,"dataSources":["fCyKBQdxBCqWjQuKA"]}