%0 Conference Paper %1 conf/aspdac/SchmidtVBSWK13 %A Schmidt, Bernard %A Villarraga, Carlos %A Bormann, Jörg %A Stoffel, Dominik %A Wedler, Markus %A Kunz, Wolfgang %B ASP-DAC %D 2013 %I IEEE %K dblp %P 711-716 %T A computational model for SAT-based verification of hardware-dependent low-level embedded system software. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2013.html#SchmidtVBSWK13 %@ 978-1-4673-3029-9

@inproceedings{conf/aspdac/SchmidtVBSWK13, added-at = {2017-05-26T00:00:00.000+0200}, author = {Schmidt, Bernard and Villarraga, Carlos and Bormann, Jörg and Stoffel, Dominik and Wedler, Markus and Kunz, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/22d16e2b26f4742924f73a16be41d2407/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2013}, ee = {https://doi.org/10.1109/ASPDAC.2013.6509684}, interhash = {ed54222d290db9d2f9df8cc6bdeb57ed}, intrahash = {2d16e2b26f4742924f73a16be41d2407}, isbn = {978-1-4673-3029-9}, keywords = {dblp}, pages = {711-716}, publisher = {IEEE}, timestamp = {2019-10-17T16:44:50.000+0200}, title = {A computational model for SAT-based verification of hardware-dependent low-level embedded system software.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2013.html#SchmidtVBSWK13}, year = 2013 }