@inproceedings{ReinbacherHorauerSchlich2009,
  author    = {Thomas Reinbacher and Martin Horauer and Bastian Schlich},
  title     = {Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking},
  booktitle = {roceedings of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), April 15-17, 2009, Liberec, Czech Republic},
  pages     = {114 -- 119},
  year      = {2009},
}