Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski. Synthesizing simulators for model checking microcontroller binary code. In Elena Gramatová, Zdenek Kotásek, Andreas Steininger, Heinrich Theodor Vierhaus, Horst Zimmermann, editors, 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2010, Vienna, Austria, April 14-16, 2010. pages 313-316, IEEE, 2010. [doi]
@inproceedings{GuckelSBK10,
title = {Synthesizing simulators for model checking microcontroller binary code},
author = {Dominique Gückel and Bastian Schlich and Jörg Brauer and Stefan Kowalewski},
year = {2010},
doi = {10.1109/DDECS.2010.5491761},
url = {http://doi.ieeecomputersociety.org/10.1109/DDECS.2010.5491761},
researchr = {https://researchr.org/publication/GuckelSBK10},
cites = {0},
citedby = {0},
pages = {313-316},
booktitle = {13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2010, Vienna, Austria, April 14-16, 2010},
editor = {Elena Gramatová and Zdenek Kotásek and Andreas Steininger and Heinrich Theodor Vierhaus and Horst Zimmermann},
publisher = {IEEE},
isbn = {978-1-4244-6612-2},
}