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

@ARTICLE{Khan:1005875,
      author       = {Khan, Shahid and Katoen, Joost-Pieter and Bouissou, Marc},
      title        = {{A} {C}ompositional {S}emantics of {B}oolean-{L}ogic
                      {D}riven {M}arkov {P}rocesses},
      journal      = {IEEE transactions on dependable and secure computing :
                      TDSC},
      volume       = {21},
      number       = {2},
      issn         = {1941-0018},
      address      = {New York, NY},
      publisher    = {IEEE},
      reportid     = {RWTH-2025-02069},
      pages        = {701-716},
      year         = {2024},
      note         = {Date of Publication: 24 March 2023},
      cin          = {121310 / 080017 / 120000},
      ddc          = {620},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)080017_20140620$ /
                      $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)16},
      UT           = {WOS:001184911600027},
      doi          = {10.1109/TDSC.2023.3261270},
      url          = {https://publications.rwth-aachen.de/record/1005875},
}