% 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{Leemans:1022919,
author = {Leemans, Sander Jacobus Johannes and Montali, Marco and
Gersing, Timo and Engelhardt, Felix and Sidorova, Natalia},
title = {{E}njoy the {S}ilence, {P}art {II}: {P}robability-{B}ased
{Q}ueries on {S}tochastic {L}abelled {P}etri {N}ets},
volume = {15714},
address = {Cham},
publisher = {Springer},
reportid = {RWTH-2025-10357},
series = {Lecture notes in computer science},
pages = {310-332},
year = {2025},
comment = {Application and theory of petri nets and concurrency : 46th
international conference, PETRI NETS 2025, Paris, France,
June 22-27, 2025 : proceedings / Elvio Amparore, Łukasz
Mikulski, editors},
booktitle = {Application and theory of petri nets
and concurrency : 46th international
conference, PETRI NETS 2025, Paris,
France, June 22-27, 2025 : proceedings
/ Elvio Amparore, Łukasz Mikulski,
editors},
month = {Jun},
date = {2025-06-22},
organization = {46. International Conference on
Application and Theory of Petri Nets
and Concurrency, Paris (France), 22 Jun
2025 - 27 Jun 2025},
cin = {125620 / 125520},
cid = {$I:(DE-82)125620_20210528$ / $I:(DE-82)125520_20220330$},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
UT = {WOS:001584539300015},
doi = {10.1007/978-3-031-94634-9_15},
url = {https://publications.rwth-aachen.de/record/1022919},
}
guest ::