h1

h2

h3

h4

h5
h6
% 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”.

@ARTICLE{Wijs:679562,
      author       = {Wijs, Anton J. and Bošnački, Dragan},
      title        = {{M}any-core on-the-fly model checking of safety properties
                      using {GPU}s},
      journal      = {International journal on software tools for technology
                      transfer : STTT},
      volume       = {18},
      number       = {2},
      issn         = {1433-2787},
      address      = {Berlin},
      publisher    = {Springer},
      reportid     = {RWTH-2016-11263},
      pages        = {169-185},
      year         = {2016},
      note         = {Druckausgabe: 2016. - Onlineausgabe: 2015},
      month         = {Apr},
      date          = {2014-04-05},
      organization  = {20. International Conference on Tools
                       and Algorithms for the Construction and
                       Analysis of Systems, Grenoble (France),
                       5 Apr 2014 - 13 Apr 2014},
      cin          = {121310 / 120000},
      ddc          = {004},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)16 / PUB:(DE-HGF)8},
      UT           = {WOS:000374975200004},
      doi          = {10.1007/s10009-015-0379-9},
      url          = {https://publications.rwth-aachen.de/record/679562},
}