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”.

@INPROCEEDINGS{Katoen:115549,
      author       = {Katoen, Joost-Pieter and Noll, Thomas and Rieger, Stefan},
      title        = {{V}erifying concurrent list-manipulating programs by {LTL}
                      model checking},
      reportid     = {RWTH-CONV-187162},
      pages        = {94-113},
      year         = {2007},
      comment      = {HAV 2007 : Workshop on Heap Analysis and Verification,
                      March 25, 2007, Braga, Portugal ; [Informal Proceedings]},
      booktitle     = {HAV 2007 : Workshop on Heap Analysis
                       and Verification, March 25, 2007,
                       Braga, Portugal ; [Informal
                       Proceedings]},
      month         = {Mar},
      date          = {2007-03-25},
      organization  = {Workshop on Heap Analysis and
                       Verification, Braga (Portugal), 25 Mar
                       2007},
      cin          = {121310 / 120000},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)8},
      url          = {https://publications.rwth-aachen.de/record/115549},
}