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{Herbreteau:212197,
      author       = {Herbreteau, Frédéric and Srivathsan, B.},
      title        = {{C}oarse abstractions make {Z}eno behaviours difficult to
                      detect},
      journal      = {Logical methods in computer science : LMCS},
      volume       = {9},
      number       = {1},
      issn         = {1860-5974},
      address      = {Braunschweig},
      publisher    = {Department of Theoretical Computer Science, Technical
                      University of Braunschweig},
      reportid     = {RWTH-CONV-074381},
      pages        = {06},
      year         = {2013},
      cin          = {120000 / 121310},
      cid          = {$I:(DE-82)120000_20140620$ / $I:(DE-82)121310_20140620$},
      typ          = {PUB:(DE-HGF)16},
      UT           = {WOS:000317894100003},
      doi          = {10.2168/LMCS-9(1:6)2013},
      url          = {https://publications.rwth-aachen.de/record/212197},
}