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{Katoen:571613,
      author       = {Katoen, Joost-Pieter},
      title        = {{P}robabilistic {P}rogramming: {A} {T}rue {V}erification
                      {C}hallenge},
      volume       = {9364},
      address      = {Cham},
      publisher    = {Springer International Publishing},
      reportid     = {RWTH-2016-02163},
      series       = {Lecture Notes in Computer Science},
      pages        = {1-3},
      year         = {2015},
      comment      = {Automated Technology for Verification and Analysis : 13th
                      International Symposium, ATVA 2015, Shanghai, China, October
                      12-15, 2015, Proceedings / edited by Bernd Finkbeiner,
                      Geguang Pu, Lijun Zhang},
      booktitle     = {Automated Technology for Verification
                       and Analysis : 13th International
                       Symposium, ATVA 2015, Shanghai, China,
                       October 12-15, 2015, Proceedings /
                       edited by Bernd Finkbeiner, Geguang Pu,
                       Lijun Zhang},
      month         = {Oct},
      date          = {2015-10-12},
      organization  = {13. International Symposium on
                       Automated Technology for Verification
                       and Analysis, Shanghai (Peoples R
                       China), 12 Oct 2015 - 15 Oct 2015},
      cin          = {121310 / 120000},
      ddc          = {004},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      UT           = {WOS:000374241600001},
      doi          = {10.1007/978-3-319-24953-7_1},
      url          = {https://publications.rwth-aachen.de/record/571613},
}