% 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{Winkler:976967,
author = {Winkler, Tobias and Gehnen, Christina and Katoen,
Joost-Pieter},
title = {{M}odel {C}hecking {T}emporal {P}roperties of {R}ecursive
{P}robabilistic {P}rograms},
journal = {Logical methods in computer science},
volume = {19},
number = {4},
issn = {1860-5974},
address = {Braunschweig},
publisher = {Department of Theoretical Computer Science, Technical
University of Braunschweig},
reportid = {RWTH-2024-00484},
pages = {24},
year = {2023},
cin = {121310 / 120000},
ddc = {004},
cid = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
typ = {PUB:(DE-HGF)16},
UT = {WOS:001127000000001},
doi = {10.46298/lmcs-19(4:24)2023},
url = {https://publications.rwth-aachen.de/record/976967},
}
guest ::