@article{journals/corr/SchrammelKBMTB14,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Schrammel, Peter and Kroening, Daniel and Brain, Martin and Martins, Ruben and Teige, Tino and Bienmüller, Tom},
  biburl = {https://www.bibsonomy.org/bibtex/2488e5184c7165603364b07c06c8d987d/dblp},
  ee = {http://arxiv.org/abs/1409.5872},
  interhash = {c53701fde307ad77d6f040101bda2558},
  intrahash = {488e5184c7165603364b07c06c8d987d},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T14:29:14.000+0200},
  title = {Incremental Bounded Model Checking for Embedded Software (extended version).},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1409.html#SchrammelKBMTB14},
  volume = {abs/1409.5872},
  year = 2014
}

{"_id":"zsjkDzjpP6Z8hKu98","bibbaseid":"schrammel-kroening-brain-martins-teige-bienmller-incrementalboundedmodelcheckingforembeddedsoftwareextendedversion-2014","downloads":0,"creationDate":"2018-08-20T17:47:15.948Z","title":"Incremental Bounded Model Checking for Embedded Software (extended version).","author_short":["Schrammel, P.","Kroening, D.","Brain, M.","Martins, R.","Teige, T.","Bienmüller, T."],"year":2014,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/tom?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Schrammel"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Kroening"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Brain"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Martins"],"firstnames":["Ruben"],"suffixes":[]},{"propositions":[],"lastnames":["Teige"],"firstnames":["Tino"],"suffixes":[]},{"propositions":[],"lastnames":["Bienmüller"],"firstnames":["Tom"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2488e5184c7165603364b07c06c8d987d/dblp","ee":"http://arxiv.org/abs/1409.5872","interhash":"c53701fde307ad77d6f040101bda2558","intrahash":"488e5184c7165603364b07c06c8d987d","journal":"CoRR","keywords":"dblp","timestamp":"2018-08-14T14:29:14.000+0200","title":"Incremental Bounded Model Checking for Embedded Software (extended version).","url":"http://dblp.uni-trier.de/db/journals/corr/corr1409.html#SchrammelKBMTB14","volume":"abs/1409.5872","year":"2014","bibtex":"@article{journals/corr/SchrammelKBMTB14,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Schrammel, Peter and Kroening, Daniel and Brain, Martin and Martins, Ruben and Teige, Tino and Bienmüller, Tom},\n biburl = {https://www.bibsonomy.org/bibtex/2488e5184c7165603364b07c06c8d987d/dblp},\n ee = {http://arxiv.org/abs/1409.5872},\n interhash = {c53701fde307ad77d6f040101bda2558},\n intrahash = {488e5184c7165603364b07c06c8d987d},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T14:29:14.000+0200},\n title = {Incremental Bounded Model Checking for Embedded Software (extended version).},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1409.html#SchrammelKBMTB14},\n volume = {abs/1409.5872},\n year = 2014\n}\n\n","author_short":["Schrammel, P.","Kroening, D.","Brain, M.","Martins, R.","Teige, T.","Bienmüller, T."],"key":"journals/corr/SchrammelKBMTB14","id":"journals/corr/SchrammelKBMTB14","bibbaseid":"schrammel-kroening-brain-martins-teige-bienmller-incrementalboundedmodelcheckingforembeddedsoftwareextendedversion-2014","role":"author","urls":{"Link":"http://arxiv.org/abs/1409.5872","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1409.html#SchrammelKBMTB14"},"keyword":["dblp"],"downloads":0},"search_terms":["incremental","bounded","model","checking","embedded","software","extended","version","schrammel","kroening","brain","martins","teige","bienmüller"],"keywords":["dblp"],"authorIDs":[],"dataSources":["NyBbkYhtYKHg8fY2r"]}