%0 Conference Paper %1 conf/ddecs/GuckelSBK10 %A Gückel, Dominique %A Schlich, Bastian %A Brauer, Jörg %A Kowalewski, Stefan %B DDECS %D 2010 %E Gramatová, Elena %E Kotásek, Zdenek %E Steininger, Andreas %E Vierhaus, Heinrich Theodor %E Zimmermann, Horst %I IEEE Computer Society %K %P 313-316 %T Synthesizing simulators for model checking microcontroller binary code. %U http://dblp.uni-trier.de/db/conf/ddecs/ddecs2010.html#GuckelSBK10 %@ 978-1-4244-6612-2

@inproceedings{conf/ddecs/GuckelSBK10, added-at = {2023-12-14T14:17:32.000+0100}, author = {Gückel, Dominique and Schlich, Bastian and Brauer, Jörg and Kowalewski, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2cb873d239cb95e8f562b6b35b78d640e/admin}, booktitle = {DDECS}, crossref = {conf/ddecs/2010}, editor = {Gramatová, Elena and Kotásek, Zdenek and Steininger, Andreas and Vierhaus, Heinrich Theodor and Zimmermann, Horst}, ee = {http://doi.ieeecomputersociety.org/10.1109/DDECS.2010.5491761}, interhash = {de46a93e2880f97caa5c2bdd83be21eb}, intrahash = {cb873d239cb95e8f562b6b35b78d640e}, isbn = {978-1-4244-6612-2}, keywords = {}, pages = {313-316}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T14:17:32.000+0100}, title = {Synthesizing simulators for model checking microcontroller binary code.}, url = {http://dblp.uni-trier.de/db/conf/ddecs/ddecs2010.html#GuckelSBK10}, year = 2010 }