h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@INPROCEEDINGS{Gckel:119226,
      author       = {Gückel, Dominique and Brauer, Jörg and Kowalewski,
                      Stefan},
      title        = {{A} {S}ystem for {S}ynthesizing {A}bstraction-{E}nabled
                      {S}imulators for {B}inary {C}ode {V}erification},
      address      = {Piscataway, NJ},
      publisher    = {IEEE},
      reportid     = {RWTH-CONV-190384},
      pages        = {118-127},
      year         = {2010},
      comment      = {2010 International Symposium on Industrial Embedded Systems
                      (SIES 2010) : Trento, Italy, 7 - 9 July 2010 / [University
                      of Trento, Italy; IEEE; IES]},
      booktitle     = {2010 International Symposium on
                       Industrial Embedded Systems (SIES 2010)
                       : Trento, Italy, 7 - 9 July 2010 /
                       [University of Trento, Italy; IEEE;
                       IES]},
      month         = {Jul},
      date          = {2010-07-07},
      organization  = {2010 International Symposium on
                       Industrial Embedded Systems, Trento
                       (Italy), 7 Jul 2010 - 9 Jul 2010},
      cin          = {122810 / 120000},
      cid          = {$I:(DE-82)122810_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)8 / PUB:(DE-HGF)7},
      doi          = {10.1109/SIES.2010.5551382},
      url          = {https://publications.rwth-aachen.de/record/119226},
}