@inproceedings{DBLP:conf/cav/0001DW15,
  author    = {Dirk Beyer and
               Matthias Dangl and
               Philipp Wendler},
  title     = {Boosting k-Induction with Continuously-Refined Invariants},
  booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {I}},
  pages     = {622--640},
  year      = {2015},
  crossref  = {DBLP:conf/cav/2015-1},
  url       = {http://dx.doi.org/10.1007/978-3-319-21690-4_42},
  doi       = {10.1007/978-3-319-21690-4_42},
  timestamp = {Mon, 20 Jul 2015 11:21:17 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/cav/0001DW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"fq2NbDdpSM5avmDvK","bibbaseid":"beyer-dangl-wendler-boostingkinductionwithcontinuouslyrefinedinvariants-2015","downloads":0,"creationDate":"2017-02-19T18:08:59.388Z","title":"Boosting k-Induction with Continuously-Refined Invariants","author_short":["Beyer, D.","Dangl, M.","Wendler, P."],"year":2015,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/w/Wendler:Philipp","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Dirk"],"propositions":[],"lastnames":["Beyer"],"suffixes":[]},{"firstnames":["Matthias"],"propositions":[],"lastnames":["Dangl"],"suffixes":[]},{"firstnames":["Philipp"],"propositions":[],"lastnames":["Wendler"],"suffixes":[]}],"title":"Boosting k-Induction with Continuously-Refined Invariants","booktitle":"Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I","pages":"622--640","year":"2015","crossref":"DBLP:conf/cav/2015-1","url":"http://dx.doi.org/10.1007/978-3-319-21690-4_42","doi":"10.1007/978-3-319-21690-4_42","timestamp":"Mon, 20 Jul 2015 11:21:17 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/cav/0001DW15","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/cav/0001DW15,\n author = {Dirk Beyer and\n Matthias Dangl and\n Philipp Wendler},\n title = {Boosting k-Induction with Continuously-Refined Invariants},\n booktitle = {Computer Aided Verification - 27th International Conference, {CAV}\n 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part\n {I}},\n pages = {622--640},\n year = {2015},\n crossref = {DBLP:conf/cav/2015-1},\n url = {http://dx.doi.org/10.1007/978-3-319-21690-4_42},\n doi = {10.1007/978-3-319-21690-4_42},\n timestamp = {Mon, 20 Jul 2015 11:21:17 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/cav/0001DW15},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Beyer, D.","Dangl, M.","Wendler, P."],"key":"DBLP:conf/cav/0001DW15","id":"DBLP:conf/cav/0001DW15","bibbaseid":"beyer-dangl-wendler-boostingkinductionwithcontinuouslyrefinedinvariants-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-21690-4_42"},"downloads":0},"search_terms":["boosting","induction","continuously","refined","invariants","beyer","dangl","wendler"],"keywords":[],"authorIDs":[],"dataSources":["BKqo3YTQ52yFWpxCy"]}