%0 Journal Article %1 journals/corr/SchrammelKBMTB14 %A Schrammel, Peter %A Kroening, Daniel %A Brain, Martin %A Martins, Ruben %A Teige, Tino %A Bienmüller, Tom %D 2014 %J CoRR %K dblp %T Incremental Bounded Model Checking for Embedded Software (extended version). %U http://dblp.uni-trier.de/db/journals/corr/corr1409.html#SchrammelKBMTB14 %V abs/1409.5872

@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://puma.ub.uni-stuttgart.de/bibtex/2488e5184c7165603364b07c06c8d987d/dblp}, ee = {http://arxiv.org/abs/1409.5872}, interhash = {c53701fde307ad77d6f040101bda2558}, intrahash = {488e5184c7165603364b07c06c8d987d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:20:23.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 }