@inproceedings{DBLP:conf/fmcad/BeyerW12,
  author    = {Dirk Beyer and
               Philipp Wendler},
  title     = {Algorithms for software model checking: Predicate abstraction vs.
               Impact},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
               UK, October 22-25, 2012},
  pages     = {106--113},
  year      = {2012},
  crossref  = {DBLP:conf/fmcad/2012},
  url       = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462562},
  timestamp = {Wed, 17 Feb 2016 13:08:35 +0100},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/fmcad/BeyerW12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"Lin4MDGTTkQuGiud5","bibbaseid":"beyer-wendler-algorithmsforsoftwaremodelcheckingpredicateabstractionvsimpact-2012","downloads":0,"creationDate":"2017-02-19T18:08:59.404Z","title":"Algorithms for software model checking: Predicate abstraction vs. Impact","author_short":["Beyer, D.","Wendler, P."],"year":2012,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/w/Wendler:Philipp","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Dirk"],"propositions":[],"lastnames":["Beyer"],"suffixes":[]},{"firstnames":["Philipp"],"propositions":[],"lastnames":["Wendler"],"suffixes":[]}],"title":"Algorithms for software model checking: Predicate abstraction vs. Impact","booktitle":"Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012","pages":"106--113","year":"2012","crossref":"DBLP:conf/fmcad/2012","url":"http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462562","timestamp":"Wed, 17 Feb 2016 13:08:35 +0100","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/fmcad/BeyerW12","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/fmcad/BeyerW12,\n author = {Dirk Beyer and\n Philipp Wendler},\n title = {Algorithms for software model checking: Predicate abstraction vs.\n Impact},\n booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,\n UK, October 22-25, 2012},\n pages = {106--113},\n year = {2012},\n crossref = {DBLP:conf/fmcad/2012},\n url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462562},\n timestamp = {Wed, 17 Feb 2016 13:08:35 +0100},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/fmcad/BeyerW12},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Beyer, D.","Wendler, P."],"key":"DBLP:conf/fmcad/BeyerW12","id":"DBLP:conf/fmcad/BeyerW12","bibbaseid":"beyer-wendler-algorithmsforsoftwaremodelcheckingpredicateabstractionvsimpact-2012","role":"author","urls":{"Paper":"http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462562"},"downloads":0},"search_terms":["algorithms","software","model","checking","predicate","abstraction","impact","beyer","wendler"],"keywords":[],"authorIDs":[],"dataSources":["BKqo3YTQ52yFWpxCy"]}