BibTeX record conf/ccs/Le00S18

download as .bib file

@inproceedings{DBLP:conf/ccs/Le00S18,
  author    = {Ton Chanh Le and
               Lei Xu and
               Lin Chen and
               Weidong Shi},
  title     = {Proving Conditional Termination for Smart Contracts},
  booktitle = {Proceedings of the 2nd {ACM} Workshop on Blockchains, Cryptocurrencies,
               and Contracts, BCC@AsiaCCS 2018, Incheon, Republic of Korea, June
               4, 2018},
  pages     = {57--59},
  year      = {2018},
  crossref  = {DBLP:conf/ccs/2018bcc},
  url       = {https://doi.org/10.1145/3205230.3205239},
  doi       = {10.1145/3205230.3205239},
  timestamp = {Wed, 21 Nov 2018 12:44:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/Le00S18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2018bcc,
  editor    = {Satya V. Lokam and
               Sushmita Ruj and
               Kouichi Sakurai},
  title     = {Proceedings of the 2nd {ACM} Workshop on Blockchains, Cryptocurrencies,
               and Contracts, BCC@AsiaCCS 2018, Incheon, Republic of Korea, June
               4, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3205230},
  doi       = {10.1145/3205230},
  timestamp = {Wed, 21 Nov 2018 12:44:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2018bcc},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier